diophantine equation in number theory