theorem Th12: :: IDEAL_2:9

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