Derivative of Exponential Function

Theorem
Let $\exp$ be the exponential function.

Then:
 * $D_x \left({\exp x}\right) = \exp x$

Also see

 * Equivalence of Definitions of Exponential Function where it is shown that $D_x \exp x = \exp x$ can be used to define the exponential function.