Zahlbereich/Ideal/Norm/Enthalten/Fakt

Es sei ein Ideal in einem Zahlbereich .

Dann ist .