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