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

Прямая будет перпендикулярна плоскости, если она перпендикулярная хотя бы одной прямой, принадлежащей этой плоскости. С перпендикулярностью прямой и плоскости связана теорема: если одна из двух параллельных прямых перпендикулярна плоскости, то и вторая прямая перпендикулярна данной плоскости.
Из неё существует следствие: если две прямые перпендикулярны плоскости, то эти прямые параллельны.