Il existe un polynôme à coefficients entiers à 26 variables tel que l'ensemble des nombres premiers coïncide avec l'ensemble des valeurs positives prises par
Rendre positif revient à
annuler simultanément chacun des crochets dans le ``long''
facteur
. Ce
facteur se réduit alors à
, tandis que
les conditions ainsi imposées à
font que le facteur ``court'', à savoir
, est premier.
On peut lire dans l'Abrégé d'Histoire des
Mathématiques de Jean Dieudonné[] l'existence d'un
polynôme à variables ayant la
même forme et les mêmes propriétés que le
polynôme déjà cité.
Pour ceux qui voudraient s'initier à ce genre de mathématiques, on peut lire [] ou []. Voir également http://www.utm.edu/research/primes/La page Web des nombres premiers.