Komplex-projektive Gerade/Divisorenklassengruppe/Z/Fakt