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