for A being non degenerated commutative Ring
for J1, J2 being proper Ideal of A holds
( PrimeIdeals (A,J1) = PrimeIdeals (A,J2) iff sqrt J1 = sqrt J2 )