Primitive of Logarithm of x

Theorem

 * $\ds \int \ln x \rd x = x \ln x - x + C$