Showing the Français version because no English translation exists yet. Add that translation.
Unreviewed. This problem has not been reviewed by trusted users yet.
Lemme. Soit a∈3N∗ et P:=X2+X+1∈N[X]. Montrer que tout nombre premier p divisant P(a) vérifie que p est congru à 1 modulo 3 (on pourra examiner l’ordre de a dans le groupe multiplicatif (Z/pZ)∗)
Soit E l’ensemble des nombres premiers de la forme 3n+1 où n∈N. Montrer que E est non vide puis que E n’est pas un ensemble de cardinal fini