The sequence is known to be eventually periodic, which is to say that there is a smallest positive such that for all . Naturally we call the period, and the minimal value of , the periodicity onset. L. Euler proved that the period must divide the totient of the modulus .