equazione diofante