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