Es sei R {\displaystyle {}R} ein Zahlbereich.
Dann enthält jedes von 0 {\displaystyle {}0} verschiedene Ideal a ⊆ R {\displaystyle {}{\mathfrak {a}}\subseteq R} eine Zahl m ∈ Z {\displaystyle {}m\in \mathbb {Z} } mit m ≠ 0 {\displaystyle {}m\neq 0} .
