Definition:Linear Diophantine Equation