Suppose $V$ is a vector space over a field $k$. A finite set of vectors is said to be a basis for $V$ if it is both linearly independent and spanning. Prove that any two finite bases for $V$ have the same number of elements.