Primitive of Function of Exponential Function

Theorem

 * $\ds \int \map F {e^{a x} } \rd x = \frac 1 a \int \frac {\map F u} u \rd u$

where $u = e^{a x}$.