Es sei a ≠ 0 {\displaystyle {}{\mathfrak {a}}\neq 0} ein Ideal in einem Zahlbereich R {\displaystyle {}R} .
Dann ist N ( a ) ∈ a {\displaystyle {}N({\mathfrak {a}})\in {\mathfrak {a}}} .