Later, Matiyasevich sharpened their methods to show that 9 unknowns suffice.
بعدها ماتیاسویچ نشان داد که ۹ مجهول هم کافی است.