for A being non degenerated commutative Ring
for J being proper Ideal of A holds sqrt J = meet (PrimeIdeals (A,J))