Noethersches normales integres Schema/Hauptdivisor/Endlich/Fakt

Es sei ein normales noethersches integres Schema mit Funktionenkörper und sei , .

Dann gibt es nur endlich viele Primdivisoren mit