Es sei ${\displaystyle {}R}$ ein Dedekindbereich mit Quotientenkörper ${\displaystyle {}K}$, ${\displaystyle {}K\subseteq L}$ eine Körpererweiterung vom Grad ${\displaystyle {}n}$ und ${\displaystyle {}S}$ der ganze Abschluss von ${\displaystyle {}R}$ in ${\displaystyle {}L}$. Es sei ${\displaystyle {}{\mathfrak {p}}}$ ein von ${\displaystyle {}0}$ verschiedenes Primideal von ${\displaystyle {}R}$ mit der Primidealzerlegung

${\displaystyle {}{\mathfrak {p}}S={\mathfrak {q}}_{1}^{e_{1}}\cdots {\mathfrak {q}}_{k}^{e_{k}}\,}$

in ${\displaystyle {}S}$. Die Körpererweiterungen ${\displaystyle {}\kappa ({\mathfrak {p}})\subseteq \kappa ({\mathfrak {q}}_{j})}$ haben die Trägheitsgrade ${\displaystyle {}f_{j}}$.

Dann ist