Теорема :
(признак параллельности прямых)

Две прямые, перпендикулярные третьей прямой, параллельны.

Следствие:

Через данную точку М, не принадлежащую прямой а. можно провести прямую b, параллельную прямой а.

Основное свойство параллельных прямых:

(аксиома параллельности прямых)