5.78. § 5.4. Перпендикулярність площин