Primitive of Function of Natural Logarithm

Theorem

 * $\displaystyle \int F \left({\ln x}\right) \ \mathrm d x = \int F \left({u}\right) e^u \ \mathrm d u$

where $u = \ln x$.