Let S be a linearly independent set of vectors from a finite-dimensional vector space V. Prove that there exists a basis for V containing S.
a) Linear dependence test
b) Dimension theorem
c) Basis expansion
d) Linear combination proof