Linearly Independent Set is Basis iff of Same Cardinality as Dimension

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

Let $H$ be a linearly independent subset of $G$.

$H$ is a basis for $G$ it contains exactly $n$ elements.

Proof
By hypothesis, let $H$ be a linearly independent subset of $G$

Necessary Condition
Let $H$ be a basis for $G$.

By definition of dimension of vector space, a basis for $G$ contains exactly $n$ elements.

By Bases of Finitely Generated Vector Space have Equal Cardinality, it follows that $H$ also contains exactly $n$ elements.

Sufficient Condition
Let $H$ contain exactly $n$ elements.

By Sufficient Conditions for Basis of Finite Dimensional Vector Space $H$ is itself a basis for $G$.