Define a basis of a vector space $V$.

If $V$ has a finite basis $\mathcal{B}$, show using only the definition that any other basis $\mathcal{B}^{\prime}$ has the same cardinality as $\mathcal{B}$.