for A being non degenerated commutative Ring
for n being Nat holds (1. A) |^ n = 1. A