其实是打着欧几里德的时候觉得有必要说一句，
但有觉得放在欧几里德里有点乱，就单拎出来了。
裴蜀定理就是说：
对于任意a,b $\in$ N，gcd(a,b) = 1（即a,b互质）的充分必要条件是，
对于a，b，总有 x,y $\in$ N，满足：
ax + by = 1
即：
ax + by = gcd( a,b )
对，就是这样。
