G.GCO.9a: Measures of interior angles of a triangle sum to 180°.