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