theorem Th36: :: PEPIN:36

for m, n being Nat st m > 0 holds
(n |^ m) mod n = 0