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

Theorem

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