Faktorieller Bereich/Exponentenkriterium/Fakt

Es sei ein faktorieller Integritätsbereich und .

Dann ist ein Teiler von genau dann, wenn für die Exponenten zu jedem Primelement die Abschätzung

gelten.