快速幂变形（快速幂取模），同余定理