La imposibilidad de resolver el décimo problema de Hilbert es consecuencia de que el inverso también es cierto: