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)=R\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/826a426cf9e1add5c27326211c3b89b91ae57637)
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 ![{\displaystyle {}K[X^{-1},YX^{-k}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af733a2a1af082580aa527a84089dacfa6421914)
den gleichen Quotientenkörper wie 
besitzt.
