Если две прямые на плоскости перпендикулярные одной и той же прямой, то они параллельны. ⇒ а║b

Действительно:соответственные, внутренние и прочие углы при пересечении прямыми а и b прямой р равны. 

Если некая прямая пересекает одну из двух параллельных прямых, то она пересекает и вторую параллельную прямую. 

Пусть прямая с пересекает прямую а в точке М. 

Допустим, что с не пересекает b. Тогда через точку М проходят две  прямые, которые параллельны прямой b, что противоречит аксиоме 

(В одной плоскости с заданной прямой через точку, не лежащую на этой прямой, можно провести только одну прямую, параллельную заданной прямой).

Заметим, что прямая с может быть  параллельной прямой р или  пересекать её ( на рисунке это с1).