angle aspect of triangle, 20 assertions