用普通的 $\operatorname{exgcd}$ 求出一组裴蜀等式，为什么 $x, y$ 不会溢出啊qaq

有没有对 $x, y$ 的范围的大致证明呢qaq