theorem Th17: :: NAT_6:17

for p being natural prime number
for x being Element of (Z/Z* p)
for i being integer number
for n being natural number st x = i holds
x |^ n = (i |^ n) mod p