Affine Varietäten/Polynomring und affiner Raum/Idealinklusion und Nullstellenmenge/Fakt/Beweis

Beweis

Es sei . D.h. für jedes ist . Dann ist erst recht für jedes .