Two lines perpendicular to the third line are perpendicular.