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. Zeige, dass die Restklassen der f 1 , … , f n − 1 {\displaystyle {}f_{1},\ldots ,f_{n-1}} im Quotientenkörper Q ( K [ X 1 , … , X n ] / ( f n ) ) {\displaystyle {}Q(K[X_{1},\ldots ,X_{n}]/(f_{n}))} eine Transzendenzbasis bilden.