Establishing facts about the interior and exterior angles of a triangle