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.