point group subgroup of group, 2 assertions