G.GCO.8d: Perpendicular lines form four right angles.