Упражнение 7. Доказать, что любое подмножество группы - само группа, если оно замкнуто относительно композиции

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