theorem Th28: :: TOPZARI1:18

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