Span(M) ist der Durchschnitt aller Untervektorräume von V, die Obermenge von M sind.
Sei M endlich.
Sei n = max {Grad p | p ∈ M}
Sei W = {p ∈ M | Grad p ≤ n}.
Dann ist W ein Untervektorraum von V mit W ⊇ M.
Also ist Span(M) ⊆ W und somit Span(M) ≠ V.