theorem Lm4: :: TOPZARI1:2

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