linear Diophantine equation