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