Bases of Finitely Generated Vector Space have Equal Cardinality

Theorem
Let $G$ be a finitely generated $K$-vector space.

Then any two bases are finite and have the same number of vectors.

Proof
Since a basis is both linearly independent and a generator, this follows directly from Linearly Independent Subset of Finitely Generated Vector Space.