Definite Integral from 0 to 1 of Logarithm of One minus x over x

Theorem

 * $\ds \int_0^1 \frac {\map \ln {1 - x} } x \rd x = -\frac {\pi^2} 6$