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