Можно ли переформулировать Упр. 7:
Доказать следующее: чтобы убедиться, что некоторая совокупность элементов конечной группы составляет группу, достаточно показать, что произведение любых двух элементов этой совокупности тоже принадлежит этой совокупности (дело сводится к проверке аксиом 3 и 4)
таким образом:
