裴蜀定理/贝祖定理

1、对于正整数a,b存在整数x,y使得gcd(a,b)=ax+by
2、整数a,b互质的充要条件是存在整数x,y使得ax+by=1