Derivative of General Exponential Function

Corollary to Derivative of Exponential Function
Let $a \in \R: a > 0$.

Let $a^x$ be $a$ to the power of $x$.

Then:
 * $\map {D_x} {a^x} = a^x \ln a$