若正整数a和b分别对p取模的余数相同**(a%p == b%p），则可以记作a≡b(modp)**，也就是a和b模p同余

一个关于最大公约数（或最大公因式）的定理。说明了对任何整数a、b和m，关于未知数x和y的方程：

            ax+by=m

有整数解时当且仅当m是a和b的最大公约数GCD(a,b)的倍数，也就是要求GCD(a,b)|m.

裴蜀等式有解时必然有无穷多个整数解，每组解x、y都称为裴蜀数

如果a,b同余：a≡b(modp), 满足 ax≡1(modb) 的x成为a对模数b的一个模逆元。 可以推导x+kb都是模逆元

模逆元存在充分必要条件是a和b互素，也即GCD(a,b)=1，所以有ax+by=1。

解法同上。 只是要求出x的最小正整数((x%b +b)%b)比较方便。