Es sei K {\displaystyle {}K} ein Körper und F ∈ K [ X 1 , … , X n ] {\displaystyle {}F\in K[X_{1},\ldots ,X_{n}]} ein von 0 {\displaystyle {}0} verschiedenes Polynom.
Dann gibt es einen K {\displaystyle {}K} -Algebraautomorphismus φ {\displaystyle {}\varphi } des Polynomringes derart, dass φ ( F ) {\displaystyle {}\varphi (F)} die Form
mit a d ∈ K × {\displaystyle {}a_{d}\in K^{\times }} und mit a j ∈ K [ X 1 , … , X n − 1 ] {\displaystyle {}a_{j}\in K[X_{1},\ldots ,X_{n-1}]} für j ≤ d − 1 {\displaystyle {}j\leq d-1} besitzt.
ein
Körper
und
![{\displaystyle {}F\in K[X_{1},\ldots ,X_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/eb9907eef7712dd23f5765db372457691aa7d626)
ein von 
verschiedenes Polynom.
-Algebraautomorphismus
des Polynomringes derart, dass 
die Form
und mit
![{\displaystyle {}a_{j}\in K[X_{1},\ldots ,X_{n-1}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f67e8fb020837473cf452c5aa53f885d04a902b1)
für
besitzt.
