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