for A being non degenerated commutative Ring
for p being prime Ideal of A
for n being non zero Nat holds sqrt (p ||^ n) = p