Derivative of Exponential Function/Corollary 1

Corollary to Derivative of Exponential Function
Let $\exp x$ be the exponential function. Let $a \in \R$.

Then:
 * $\map {\dfrac \d {\d x} } {\map \exp {a x} } = a \map \exp {a x}$