数论算法——快速幂取模