Normaler Integritätsbereich/Quotientenkörper/Einheitswurzeln/Fakt

Es sei ein normaler Integritätsbereich mit Quotientenkörper .

Dann ist .