Glatte Projektive Kurve/Lokal frei/Grad/Additivität/Fakt