Обозначим прямую a, точку, не лежащую не ней A.
По первому следствию из аксиом, через прямую и не лежащую на ней точку проходит плоскость, притом только одна. Обозначим эту плоскость α. A∈α; a∈α
По второй аксиоме, если любые две точки прямой лежат в одной плоскости, то и вся прямая лежит в этой плоскости ⇒ Любая прямая, проходящая через точку A∈α и пересекающая прямую a∈α, лежит в плоскости α, что и требовалось доказать.