The sum of the interior angles of a triangle