Derivative of Identity Function

Theorem
Let $X$ be either set of either the real numbers $\R$ or the complex numbers $\C$.

Let $I_X: X \to X$ be the identity function.

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

where $\map {I_X'} x$ denotes the derivative of $I_X$ $x$.

This can be presented for each of $\R$ and $\C$:

Also presented as
Note that this can be written:
 * $\map {D_x} x = 1$

Using Leibniz's notation for derivatives it can also be stated as:
 * $\dfrac {\d x} {\d x} = 1$