Una conseguenza sorprendente del teorema DPR come ridimostrato da Matiyasevich nel 1974
Completion requirements
PDF
Click StrikingResultMatiyasevich1974.pdf link to view the file.