在用exgcd求出x的特解之后要找出x最小正整数解

通常比较好理解的是这个

$x = (x \%b + b) \% b$

但是看到题解中有许多dalao用的是这个，试了一下交上去也是对的，不知道怎么证明x+b一定大于等于0

$x = (x + b) \% b$