Одна из основных аксиом стереометрии:
Если прямая имеет с плоскостью две общие точки, то она лежит в этой плоскости.
