> a^p - a = 1 tb resulta em 2(a^p - a) + 3 primo. > Se os primos p e q sao primos gemeos e p<q entao > p= 6k - 1 e q 6k + 1
> Logo o problema se resume a provar que 2(a^p - a + 1) nunca sera um multiplo > de 6. E que tambem nunca eh igual a 4. 4 eh o unico numero positivo entre dois primos gemeos que nao eh multiplo de 6. >Mas o Claudio ja mostrou que a^p - a = 3t. 2(3t + 1) = 2 (mod 6). >Vale assim? Vale! Artur ========================================================================= Instruções para entrar na lista, sair da lista e usar a lista em http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html =========================================================================
