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

Let be a field, and let be a -vector space with a finite generating system.

Then any two

bases

of have the same number of vectors.