数论算法-快速幂取模