8.GM.A.5a: Derive the sum of the interior angles of a triangle.