have negative integer solutions for .
Note that thus, it is possible to always solve this equation for integers, though they might not necessary be non-negative.
By using linear diophantine equations theorem all the solutions are given by,
Since we want non-negative solution we require that,
Therefore, the problem comes down to: "If then between and there exists a multiple of 9 between them".