for A being non degenerated commutative Ring
for I being Ideal of A
for n being Nat st n > 0 holds
I ||^ (n + 1) = I *' (I ||^ n)