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