Пусть ( l ) — прямая, перпендикулярная одной из параллельных прямых ( m ).
Тогда, если мы проведем перпендикуляр ко второй параллельной прямой ( n ) из точки пересечения ( l ) и ( m ), то этот перпендикуляр также будет перпендикулярен прямой ( n ).