Если две прямые перпендикулярны к плоскости то они параллельны. Перпендикулярность прямой и плоскости Лемма и 2 теоремы. Если 2 прямые перпендикулярны к плоскости то они параллельны. Если две плоскости перпендикулярны прямой то они