equilateral triangle subgroup of triangle, 4 assertions