right triangle subgroup of triangle, 6 assertions