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