Affine Varietäten/Algebraisch abgeschlossener Körper/D(f i) überdeckt/Erzeugt Einheitsideal/Fakt/Beweis

Beweis

Es sei das von allen , , erzeugte Ideal in . Die Voraussetzung besagt, dass

(auf ) leer ist. Dann ist , da ja ebenfalls leer ist. Aus dem Hilbertschen Nullstellensatz folgt, dass eine Potenz von , also selbst, zu in gehört.