Wir betrachten im Polynomring die Polynome
-
Es sei
-
die zugehörige Nullstellenemenge. Wegen der Bedingung
besitzen die Punkte aus entweder die -Koordinate
oder .
Bei
werden die hinteren Polynome einfach zu , deren Nullstellenmenge ist .
Bei
werden die hinteren Polynome einfach zu
, deren Nullstellenmenge ist
.