theorem :: PEPIN:46

for p being Nat st p > 1 holds
order (1,p) = 1