Bases of Vector Space have Equal Cardinality

Theorem
If $V$ is a vector space and $B_1$ and $B_2$ are bases of $V$, then $B_1$ and $B_2$ are equinumerous.