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