theorem ThX: :: EULER_2:19

for a, m being Nat st m is prime holds
(a |^ m) mod m = a mod m