linear diophantine equation