Derivative of Exponential Function/Corollary 1

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

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