 It is not known whether this result is best possible.Julia Robinson and Yuri Matiyasevich showed that every Diophantine set has dimension no greater than 13.Later, Matiyasevich sharpened their methods to show that 9 unknowns suffice.