Results concerning Generators and Bases of Vector Spaces

Theorem
Let $E$ be a vector space of $n$ dimensions.

Let $G$ be a generator for $E$.

Then $G$ has the following properties:

Generator of Vector Space is Basis if Cardinality equals Dimension
Let $H$ be a linearly independent subset of $E$.

Then $H$ has the following properties: