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
of have the same number of vectors.
Let be a
field,
and let
be a
-vector space
with a finite
generating system.