Proposition (Every spanning set contains a basis)

If $V= span(v_1,...,v_k)$, then the set of vectors $B=\{v_1,...,v_k\}$ can be reduced to a Finite Basis.