пусть K - алгебраически замкнутое поле, A^n = {(a1, ..., an) | a1, ..., an <- K} - аффинное пространство над K, S - собственное подмножество K[X1, ..., Xn] (коммутативного кольца многочленов от n переменных над K), V(S) = {x^n <- A^n | для любого f <- S : f(x^n) = 0} - аффинная вариация над S, <S> - идеал, порождённый S. вопрос: почему V(S) = V(<S>)?