theorem :: IDEAL_2:8

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