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