Glatte projektive Kurve/Hauptdivisor/Grad 0/Fakt