length aspect of triangle, 10 assertions