Jones demostró que dado un número formula_16 éste es primo si y solo si el siguiente sistema de 14 ecuaciones diofánticas tiene una solución en los números naturales: