A Diophantine representation of Wolstenholme's pseudoprimality

As a by-product of the negative solution of Hilbert\u2019s 10th problem, various prime-generating polynomials were found. The best known upper bound for the number of variables in such a polynomial, to wit 10, was found by Yuri V. Matiyasevich in 1977. We show that this bound could be lowered to 8 if the converse of Wolstenholme\u2019s theorem (1862) holds, as conjectured by James P. Jones. This potential improvement is achieved through a Diophantine representation of the set of all integers p >= 5 that satisfy the congruence C(2 p,p) 61 2 mod p^3. Our specification, in its turn, relies upon a terse polynomial representation of exponentiation due to Matiyasevich and Julia Robinson (1975), as further manipulated by Maxim Vsemirnov (1997). We briefly address the issue of also determining a lower bound for the number of variables in a prime-representing polynomial, and discuss the autonomous significance of our result about Wostenholme\u2019s pseudoprimality, independently of Jones\u2019s conjecture