area aspect of triangle, 15 assertions