acute triangle subgroup of triangle, 1 assertions