同余式
a≡b (mod m)
两个整数a，b，若它们除以正整数 m所得的余数相等，则称a， b对于模m同余
欧几里得引理
如果a|bc ，gcd(a,b)=1 那么 a|c
如果一个正整数整除另外两个正整数的乘积，第一个整数与第二个整数互质，那么第一个整数整除第三个整数。
命题30的表述如果 p|bc 那么 p|b 或者 p|c
如果一个素数整除两个正整数的乘积，那么这个素数可以至少整除这两个正整数中的一个。
平凡平方根
平凡平方根: 12mod p 和 （-1）2mod p 总得到 1 ，我们称-1和1是1 mod p 的“平凡平方根”
当p是素数且 p>2时，任意 x 是1 mod p 的 “平凡平方根”
费马小定理
假如 a是一个整数， n是一个质数
1≤a≤n-1都有 an ≡a (mod n), 即an-1≡ 1mod n
注：第一步是由公式化来