Пересекающиеся прямые параллельные перпендикулярным прямым сами перпендикулярны