Two lines parallel to the third line are perpendicular.