Positiv graduierter Ring/C/Kontrahierbar auf Sphäre/Aufgabe

Es sei eine endlich erzeugte positiv-graduierte -Algebra und das -Spektrum von . Es sei die „Sphäre“ von (bezüglich der gegebenen Einbettung). Zeige, dass es eine Homotopieäquivalenz zwischen und

gibt. Man folgere, dass die punktierte Fundamentalgruppe von gleich der Fundamentalgruppe von ist.