Vector space/Finitely generated/Basis/Fact

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

Then ${}V$ has a finite basis.

Proof, Write another proof