Es sei ${\displaystyle {}\mathbb {Q} \subseteq L}$ eine endliche Körpererweiterung und es sei ${\displaystyle {}R\subseteq L}$ ein Unterring mit den folgenden Eigenschaften:

1. ${\displaystyle {}R}$ ist ganz über ${\displaystyle {}\mathbb {Z} }$.
2. Es ist ${\displaystyle {}Q(R)=L}$.
3. ${\displaystyle {}R}$ ist normal.

Dann ist ${\displaystyle {}R}$ der Ring der ganzen Zahlen von ${\displaystyle {}L}$.