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

.