The fact that every spanning list contains a basis leads us to this important result:
Basis of Finite-Dimensional Vector Space
Every finite-dimensional vector space has a basis.
Proof. By definition, a finite-dimensional vector space has a spanning list. We just saw that each spanning list can be reduced to a basis.