Cardinality of Generator of Vector Space is not Less than Dimension/Proof 2

Proof
From Generator of Vector Space Contains Basis there exists a basis $B$ of $E$ such that $B \subseteq G$.

From Cardinality of Basis of Vector Space, $\card B = n$.

The result follows.