Vector space/Finitely generated/Basis/Fact

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

Then ${\displaystyle {}V}$ has a finite basis.