Двогранний кут. Перпендикулярність площин