A general theorem of Matiyasevich says that if a set is defined by a system of Diophantine equations, it can also be defined by a system of Diophantine equations in only 9 variables.[3] Hence, there is a prime-generating polynomial as above with only 10 variables.