theorem :: NAT_D:14

for k being natural Number st k > 1 holds
1 mod k = 1