在其他地方从来没有见过这个结论，做了这题才知道：

exgcd 解出来的 ax+by=gcd(a,b) 的特解 x0,y0 是所有解中绝对值之和（|x|+|y|）最小的之一

这个结论是否成立？题解都没给出证明