Derivative of Identity Function/Real

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

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

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

Thus: