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

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