Supposons qu'il y a q'un nombre fini q_1<q_2<...<q_s de nombres premiers de la forme 6k-1.
Soit n=6q_1...q_s-1. ==> n n'est pas premier car de la forme 6k-1 et n>q_s.
Soit q un diviseur premier de n alors q est de la forme 6k+1 ou 6k-1
Mais les diviseurs premiers de n ne peuvent être tous de la forme 6k+1. Sinon n serait lui même de cette forme et c'est impossible car n=6k+1=6h-1 ==>3(h-k)=1 égalité impossible dans Z.
On peut prendre alors q de la forme 6k-1 c-à-d l'un des q_i . On aura donc q|1 ce qui est absurde. cqfd
_________________
وقل ربي زد ني علما