Переформулировка упр.7 - когда подмножество группы является подгруппой

Можно ли переформулировать Упр. 7:

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

таким образом:

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

??