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