theorem Th36: :: ALGGEO_1:36

for R being domRing
for n being non empty Ordinal
for X being Algebraic_Set of n,R holds X = Zero_ (Ideal_ X)