theorem Th25: :: PEPIN:25

for m, n being Nat st m > 1 & n > 0 holds
m |^ n > 1