theorem Th32: :: TOPZARI1:22

for A being non degenerated commutative Ring
for S being non empty Subset of A holds PrimeIdeals (A,S) c= Ideals (A,S)