Spanning list contains a basis

Every spanning list in a vector space can be reduced to a basis of the