Es sei ein
algebraisch abgeschlossener Körper
und der
Polynomring
in Variablen über . Wir wollen einen alternativen Beweis einsehen, dass
für jedes Ideal in ist, der auf
Fakt
aufbaut. Es sei . Betrachte den Ring und zeige, dass das
Ideal
-
trivial ist. Schließe daraus, dass im Radikal von liegt.