theorem Th14: :: IDEAL_2:11

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