Прямая, проведённая в плоскости \(\alpha\) через основание наклонной перпендикулярно её проекции, перпендикулярна и самой наклонной. Это ключевой инструмент для расстояний от точки до прямой в пространстве.