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