Hauptidealbereich/Restklassenring/Endliche Länge/Fakt
Es sei ein Hauptidealbereich und , . Es sei
eine Primfaktorzerlegung von mit einer Einheit und (nicht notwendigerweise verschiedenen) Primelementen .
Dann ist die Länge des Restklassenringes gleich .