Vector space/Finitely generated/Length of every basis/Fact

Let ${}K$ be a field, and let ${}V$ be a ${}K$-vector space with a finite generating system.

Then any two

bases

of ${}V$ have the same number of vectors.

Proof, Write another proof