theorem Th41A: :: TOPZARI1:31

for A being non degenerated commutative Ring holds PrimeIdeals (A,{(1. A)}) = {}