Dedekindbereich/Elemente/Zerlegung in Primideale/Fakt

Es sei ein Dedekindbereich und , .

Dann gibt es eine Produktdarstellung für das Hauptideal

mit (bis auf die Reihenfolge) eindeutig bestimmten Primidealen aus und eindeutig bestimmten Exponenten , .