Nach Fakt ist
somit ist nach Fakt auch g ( Y ) = 0 {\displaystyle {}g{\left(Y\right)}=0} . Mit Fakt ergibt sich wiederum, dass Y {\displaystyle {}Y} biholomorph zu P C 1 {\displaystyle {}{\mathbb {P} }_{\mathbb {C} }^{1}} ist.