Problem

Source: Turkey IMO TST 1995 #5

Tags: number theory unsolved, number theory



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