以noip的同余方程一题为例，请问扩展欧几里得算法求出的解为什么不会爆long long？虽然看起来就不会，但是有没有大佬能够给出严谨证明？谢谢。