Derivative of General Exponential Function/Proof 1

Proof
From the definition of Power to Real Number:
 * $a^x = e^{x \ln a}$

Thus from Corollary 1:
 * $D_x \left({a^x}\right) = D_x \left({e^{x \ln a}}\right) = \ln a e^{x \ln a} = a^x \ln a$