如何由裴蜀定理推出 $ax+by$ 的最小非负值是 $|\gcd(a,b)|$？

当 $a=b$ 时，最小非负值不应该是 $0$ 吗？