Un teorema general de Matiyasévich dice que si un conjunto se define como un conjunto de ecuaciones diofánticas, también puede ser definido como un sistema de ecuaciones diofánticas con sólo 9 variables.