for A being non degenerated commutative Ring
for I being Ideal of A
for p being prime Ideal of A st I c= p holds
sqrt I c= p