theorem Th23: :: NUMBER19:23

for m being Nat
for p being Prime st p > 5 holds
((p -' 1) !) + 1 <> p |^ m