Noetherscher Integritätsbereich/Durchschnittseigenschaft/Assoziierte Primideale/Fakt

Es sei ein noetherscher Integritätsbereich.

Dann ist

wobei der Durchschnitt über alle Primideale läuft, die zu einem Restklassenring mit , , assoziiert sind.