Прямые перпендикулярные третьей прямой перпендикулярны