Linear Algebra 4.3.2 Spanning Set Theorem

Any finite spanning set can be turned into a basis by deleting vectors from it. This theorem explains how.

[will]

Thank you sir, you're the only one that really cleared this theorem for me.