Derivative of Exponential Function/Proof 2

Theorem
Let $\exp$ be the exponential function.

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

Proof
We use the fact that the exponential function is the inverse of the natural logarithm function:


 * $y = e^x \iff x = \ln y$