1 et n-1 sont premiers avec n=>a1=1 ;ak=n-1
posons d=a2-a1=....=ak=a{k-1}
si n est impair (n-2) est premier avec n (pgcd(n,n-2) divise n et n-2=>divise 2=>pgcd(n,n-2)=1 car 2 ne divise pas n)
d=1=>a2=2,a3=3,....,ak=k =>n est premier avec 1,2,...,n-1=>n est premier
si n est pair posons n=(2^r)*p ,p est impair
si p=3 n est premier avec 1,5,7,.. 5-1>7-5
si p>=5 pgcd((2^r)*p;p-4) divise 2^(r+2) (=(2^r)*p-(2^r)*(p
=>pgcd((2^r)*p;p-4)=1
de même pgcd((2^r)*p;p-2)=1
p-4 ,p-2 premiers avec n=>d=2=>d+p-2=p est premier avec n(car d=aj-a{j-1] est constante) ce qui est faux puisque p divise n
donc p=1=>n est puissance de 2