Glatte Kurve/Idealgarbe/Invertierbar/Fakt/Beweis

Beweis

Da man die Invertierbarkeit lokal in den Halmen testen kann, folgt die Aussage daraus, dass die lokalen Ringe diskrete Bewertungsringe und diese Hauptidealbereiche sind.