obtuse triangle subgroup of triangle, 2 assertions