for R being Ring
for S being b₁ -homomorphic Ring
for h being Homomorphism of R,S
for a being Element of R
for n being Nat holds h . (a |^ n) = (h . a) |^ n