theorem Th34: :: TOPZARI1:24

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