Взаимное расположение прямой и плоскости. Признак параллельности прямой и плоскости (с доказательством)

Прямая может лежать на данной плоскости, быть параллельна данной плоскости или пересекать ее в одной точке, см. следующие рисунки.
Доказательство признака параллельности прямой и плоскости.
Теорема
Если прямая, не принадлежащая плоскости, параллельна какой-нибудь прямой в этой плоскости, то она параллельна и самой плоскости.
Доказательство
Пусть α - плоскость, a – не лежащая в ней прямая и a1 – прямая в плоскости α, параллельная прямой a. Проведем плоскость α1 через прямые a и a1. Плоскости α и α1 пересекаются по прямой a1. Если бы прямая a пересекала плоскость α, то точка пересечения принадлежала бы прямой a1. Но это невозможно, так как прямые a и a1 параллельны. Следовательно, прямая a не пересекает плоскостью α, а значит, параллельна плоскости α. Теорема доказана.