Угловые коэффициенты перпендикулярных прямых равны