Evaluation Linear Transformation is Linear Transformation

Theorem
Let $R$ be a commutative ring.

Let $G$ be an $R$-module.

Let $G^*$ be the algebraic dual of $G$.

Let $G^{**}$ be the algebraic dual of $G^*$.

Let the mapping $J: G \to G^{**}$ be the evaluation linear transformation from $G$ into $G^{**}$.

For each $x \in G$, $x^\wedge: G^* \to R$ is defined as:
 * $\forall t' \in G^*: x^\wedge \left({t'}\right) = t' \left({x}\right)$

Let the mapping $J: G \to G^{**}$ be the evaluation linear transformation from $G$ into $G^{**}$ defined as:
 * $\forall x \in G: J \left({x}\right) = x^\wedge$

where for each $x \in G$, $x^\wedge: G^* \to R$ is defined as:
 * $\forall t' \in G^*: x^\wedge \left({t'}\right) = t' \left({x}\right)$

Then:
 * $(1): \quad x^\wedge \in G^{**}$
 * $(2): \quad J$ is a linear transformation.

Proof
$(1):$ First we show that $x^\wedge \in G^{**}$:

$(2):$ Then we show that $J: G \to G^{**}$ is a linear transformation: