4. Сформулировать лемму о перпендикулярности двух параллельных прямых третьей.

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