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.