использован признак перпендикулярности прямой к плоскости, свойство прямой перпендикулярной к плоскости
использован признак перпендикулярности прямой к плоскости, свойство прямой перпендикулярной к плоскости