MathDB
Prove the two conditions are equivalent

Source: Turkey IMO TST 1995 #5

July 8, 2011
number theory unsolvednumber theory

Problem Statement

Let nNn\in\mathbb{N} be given. Prove that the following two conditions are equivalent:
 (\text{i})\: n|a^n-a for any positive integer aa;  (\text{ii})\: For any prime divisor pp of nn, p2np^2 \nmid n and p1n1p-1|n-1.