Es sei K {\displaystyle {}K} ein Körper der Charakteristik 0 {\displaystyle {}0} und f 1 , … , f n ∈ K [ X 1 , … , X n ] {\displaystyle {}f_{1},\ldots ,f_{n}\in K[X_{1},\ldots ,X_{n}]} Polynome, die für den Körper der rationalen Funktionen K ( X 1 , … , X n ) {\displaystyle {}K(X_{1},\ldots ,X_{n})} eine Transzendenzbasis über K {\displaystyle {}K} bilden. Es sei f n {\displaystyle {}f_{n}} ein Primpolynom.