Прямая называется перпендикулярной к плоскости, если она перпендикулярна всем прямым, лежащим в этой плоскости.
Если две прямые перпендикулярны к плоскости, то они параллельны.
Если одна из двух параллельных прямых перпендикулярна к третьей прямой, то и другая прямая перпендикулярна к этой прямой.
Если плоскость перпендикулярна одной из двух параллельных прямых, то она и перпендикулярна и другой.
