Two lines perpendicular to the third line are parallel.