Dimension of Double Dual

Theorem
Let $G$ be an $n$-dimensional $R$-module. Let $G^{**}$ be the double dual of $G^*$.

Then $G^{**}$ is also $n$-dimensional.

Proof
Follows directly from Product of Linear Transformations.