Если плоскость P проходит через перпендикуляр к другой плоскости Q, то плоскость P перпендикулярна плоскости Q.
Если две плоскости P и Q взаимно перпендикулярны, то прямая, проведенная в одной плоскости перпендикулярно линии пересечения плоскостей, перпендикулярна другой плоскости.