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