finite group subgroup of group, 1 assertions