Es sei K {\displaystyle {}K} ein algebraisch abgeschlossener Körper und seien F i ∈ K [ X 1 , … , X n ] {\displaystyle {}F_{i}\in K[X_{1},\ldots ,X_{n}]} , i ∈ I {\displaystyle {}i\in I} , Polynome mit
Dann erzeugen die F i {\displaystyle {}F_{i}} das Einheitsideal in K [ X 1 , … , X n ] {\displaystyle {}K[X_{1},\ldots ,X_{n}]} .