Considerato che $\sigma_0(88)=16$, in assenza di idee migliori si potrebbe anche concludere a mano; altrimenti sarebbe sufficiente vedere quando una soluzione $x$ è intera, perchè lo sarebbe anche $y$; il determinante del sistema dei coefficienti è $9$, quindi si deve verificare quando $9\mid a-5b$, con $ab=-88$.
