for A being non degenerated commutative Ring
for I, J being Ideal of A st sqrt I, sqrt J are_co-prime holds
I,J are_co-prime