Finitely Generated Vector Space has Finite Basis

Theorem
Every finitely generated vector space has a finite basis.

Proof
Apply Linearly Independent Subset of Basis of Vector Space to the case where $$F$$ is a finite generator and $$H = \varnothing$$.