Предположим, что прямые а и b не параллельны. Тогда они пересекаются в какой-то точке. Проведем прямую c, перпендикулярную прямой а через точку пересечения прямых а и b. Так как прямая а и c пересекают прямую b, то прямые а и b параллельны. Получили противоречие с предположением, что прямые а и b не параллельны. Следовательно, прямые а и b параллельны.
Предположим, что прямые а и b не параллельны. Тогда они пересекаются в какой-то точке. Проведем прямую c, перпендикулярную прямой а через точку пересечения прямых а и b. Так как прямая а и c пересекают прямую b, то прямые а и b параллельны. Получили противоречие с предположением, что прямые а и b не параллельны. Следовательно, прямые а и b параллельны.