Extended Euclidean algorithm is well-known for solving Diophantine Equation.But I found sometimes it makes integers out of bound and get wrong.Is there a way to proof that such algorithm bounds the integers in a proper limitations based on how large the absolute value of the given integers are.



