作p，p，……，p，那么可以说，多项式formula_29的输入值(a,b...,z)是正整数时，其值域的正值部分就是所有素数。根据尤里·马季亚谢维奇的一个定理，如果一个集合能够被定义成一个丢番图方程的解集，那么就可以被定义为一个只有9个未知数的丢番图方程的解集。于是，素数集合可以被定义为一个只含10个变元的多项式的正值解集。然而，这个多项式的次数极大（在10数量级），另一方面，也存在次数不超过4的多项式，未知数个数是58个。
带高斯符号的素数公式.利用高斯符号formula_