Prove the two conditions are equivalent
Source: Turkey IMO TST 1995 #5
July 8, 2011
number theory unsolvednumber theory
Problem Statement
Let be given. Prove that the following two conditions are equivalent: (\text{i})\: n|a^n-a for any positive integer ;
(\text{ii})\: For any prime divisor of , and .