Кут між прямими. Перпендикулярність прямих