Derivative of Identity Function/Real

Theorem
Let $I_\R: \R \to \R$ be the identity function.

Then $\forall x \in \R: I_\R' \left({x}\right) = 1$.

Proof
The identity function is defined as $\forall x \in \R: I_\R \left({x}\right) = x$.

Thus: