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