Zahlbereich/Normal/Fakt

Es sei ein Zahlbereich.

Dann ist ein normaler Integritätsbereich.