Primitive of Exponential Function/General Result

Theorem
Let $a \in \R_{>0}$ be a constant such that $a \ne 1$.

Then:
 * $\ds \int a^x \rd x = \frac {a^x} {\ln a} + C$

where $C$ is an arbitrary constant.

Proof
Let $u = x \ln a$.