Es sei a {\displaystyle {}{\mathfrak {a}}} ein Ideal ≠ 0 {\displaystyle {}\neq 0} in einem Zahlbereich R {\displaystyle {}R} mit der eindeutigen Primidealzerlegung
Dann ist