裴蜀定理

在1250-检查「好数组」中接触到该定理。
对于任何整数a、b和它们的的最大公约数d。在关于未知数x和y的线性不定方程中，若a，b是整数，且gcd(a,b)=d，那么对于任意的整数x,y,ax+by都一定是d的倍数，特别地，一定存在整数x,y使得ax+by=d成立。