A_n= 2^n+p
PGCD (A_n;A_n+1)= d_n
Montrer qye d_n divise 2^n
Bon déjà faut se servir du fait que d_n est le PGCD et donc divise A_n je pense 
Donc d_n divise 2^n + p
Ensuite je peux dire que A_n+1 = 2^n+1 + p et d_n divise 2^n+1 +p
Après avec cela je peux faire un système du genre 2^n + p divise 2^n+1 + p et essayer d'enlever les p pour avoir 2^n ?