Bezout Criterion for Linear Diophantine Equations