Positiv graduierte Algebra/C/Kontrahierbar/Triviale Fundamentalgruppe/Fakt

Es sei ${\displaystyle {}R}$ eine positiv-graduierte endlich erzeugte ${\displaystyle {}{\mathbb {C} }}$-Algebra.

Dann ist ${\displaystyle {}X={\left(\operatorname {Spek} {\left(R\right)}\right)}_{\mathbb {C} }}$ kontrahierbar und die Fundamentalgruppe ${\displaystyle {}\pi _{1}(X)}$ ist trivial.