Перпендикулярность прямой и плоскости