home

The power series a_k = a^k is pre-periodic in Z/nZ, and the period must be a divisor of phi(n). here is a simple proof.