Es sei Q ⊆ L {\displaystyle {}\mathbb {Q} \subseteq L} eine endliche Körpererweiterung und es sei R ⊆ L {\displaystyle {}R\subseteq L} ein Unterring mit den folgenden Eigenschaften:
Dann ist R {\displaystyle {}R} der Ring der ganzen Zahlen von L {\displaystyle {}L} .
