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