费马小定理 : 若 b 与 m 互素, b^(m-1) % m == 1 % m, 即 b^(m-1) == 1 (% m)
计算(a / b) % m , 除法不满足同模, 可以变为 (a * B) % m, B为b模m的逆元
a / b
== a * (1 / b)
== [(a * 1) / b)] % m
== [a * b^(m - 1) / b)] % m
== [a * b^(m - 2)] % m
原文：http://www.cnblogs.com/Quinte/p/4969818.html