Después, Matiyasevich refinó el método para demostrar que bastaba con 9 incógnitas.