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