Derivative of Identity Function/Real

Theorem
Let $I_\R: \R \to \R$ be the identity mapping on the real numbers $\R$.

Then:
 * $\map {I_\R'} x = 1$

Proof
The identity mapping is defined as:
 * $\forall x \in \R: \map {I_\R} x = x$

Thus: