Es sei ${\displaystyle {}R}$ der Ganzheitsring einer endlichen Körpererweiterung ${\displaystyle {}\mathbb {Q} \subseteq K}$ und sei ${\displaystyle {}a\in \mathbb {Z} }$.

Dann gibt es endlich viele Elemente ${\displaystyle {}f_{1},\ldots ,f_{m}\in R}$ derart, dass jedes ${\displaystyle {}f\in R}$ mit ${\displaystyle {}\vert {N(f)}\vert =a}$ zu einem der ${\displaystyle {}f_{i}}$ assoziiert ist.