Это свойство следует из теоремы: если одна из двух параллельных прямых перпендикулярна к плоскости, то и другая прямая перпендикулярна к этой плоскости. 4
Доказательство: прямая, перпендикулярная плоскости, перпендикулярна любой прямой, лежащей в этой плоскости. 4 Так как одна из параллельных прямых перпендикулярна другой, то по лемме, если одна из параллельных прямых перпендикулярна третьей прямой, то и другая прямая перпендикулярна этой прямой. 45