Ich habe mir mal erlaubt den Tippfehler zu beheben. Offenbar müssen, wie in der Formel richtig geschrieben, die Fundamentalgruppen pi_n trivial sein und nicht wie (vorher) verlinkt die Homotopiegruppen.