Schema/Lokal faktoriell/Picardgruppe und Divisorenklassengruppe/Fakt/Beweis

Beweis

Dies folgt aus Fakt und Fakt.