二元运算符 ‘≡’: 当 a%p = b%p 时,a ≡ b ( mod p )
模运算对于 加法 和 乘法 同样适用,也就是说,如果 a ≡ a` (mod p) 和 b ≡ b` (mod p),那么
a + b ≡ a` + b` (mod p)
a * b ≡ a` * b` (mod p)
对于 除法 却不适用
存在 a / b mod p != a` / b` mod p
模乘法逆元:若 a * b ≡ 1 (mod p),则称 a 为 b 的模乘法逆元(在mod p 的情况下),或称 b 为 a 的模乘法逆元(在mod p 的情况下)
假设 a / b ≡ c (mod p),b * x ≡ 1 (mod p)
那么 a * x ≡ c (mod p)