for n being Element of NAT
for A, B being Ring
for z being Element of A st A is Subring of B holds
(power B) . ((In (z,B)),n) = In (((power A) . (z,n)),B)