Es sei 
ein
Körper
und es sei eine
endliche Ringerweiterung
der Form
-
![{\displaystyle {}K[X]\subseteq K[X][Y]/{\left(Y^{n}+P_{n-1}(X)Y^{n-1}+\cdots +P_{2}(X)Y^{2}+P_{1}(X)Y+P_{0}(X)\right)}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6df9a8229f6e77a1e1f95d0249ba4632fee8ff6e)
mit
![{\displaystyle {}P_{i}(X)\in K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad6e28d2c63839187107fef0fc28d30e919b35dd)
gegeben, wobei der Erweiterungsring
integer
sei. Es sei 
derart, dass der Grad von 
höchstens 
ist für alle
-
Zeige, dass dann
eine Ganzheitsgleichung vom Grad
über
![{\displaystyle {}K[X^{-1}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7827be416772508df4c01d4578fb965c31e141a2)
erfüllt, und dass die zugehörige Erweiterungsalgebra den gleichen Quotientenkörper besitzt.
