Olha soh que interessante: em todos os casos que eu testei, se a eh um divisor de n, entao (a^(fi(n) +1) -a) eh multiplo dos primos que aparecem na fatoracao de n e nao aparecem na fatoracao de a ! Isso eh verdade sempre?
"A volta do pequeno teorema de Fermat": se a^p=a (mod p) entao p eh primo?Se nao, p eh primo com a?
Oi Jorge ,
Observe que 3^561 =3(mod561) e no entanto 561=3.11.17 ,ok?
[]'s Carlos Victor