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$.