theorem Th32: :: ALGGEO_1:32

for R being domRing
for n being non empty Ordinal
for S being Subset of (Polynom-Ring (n,R)) holds S c= Ideal_ (Zero_ S)