Primitive of Power of x over Logarithm of x

Theorem
For $x > 1$: