在学exgcd的时候突然发现要证明这样一个问题： $a+bk$ 的最小正整数值是 $amodb$

谁能帮我一下