Variance of Logistic Distribution/Lemma 1

Lemma for Variance of Logistic Distribution

 * $\ds \int_{\to 0}^{\to 1} \map {\ln^2} {1 - u} \rd u = 2$

Proof
Let: