Следствие перпендикулярности плоскостей