theorem Th13: :: IDEAL_2:10

for A being non degenerated commutative Ring
for I being Ideal of A holds
( sqrt I = [#] A iff I = [#] A )