regular polygon subgroup of polygon, 4 assertions