theorem :: PEPIN:5

for c being Integer st c > 1 holds
1 mod c = 1