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