theorem Th30: :: TOPZARI1:20

for A being non degenerated commutative Ring
for I being Ideal of A holds I c= sqrt I