Все элементы группы имеют порядок 2. Значит
Тогда:
Т.е. операция группы коммутативна, а значит группа Абелева