Primitive of Function of Natural Logarithm

Theorem

 * $\ds \int \map F {\ln x} \rd x = \int \map F u e^u \rd u$

where $u = \ln x$.