1978^m 模 125 可逆,可以从同余式中完全消去。
由于 197819781978 模 125125125 可逆,模 125125125 的条件 1978m(1978 n−m−1)≡01978^m\left(1978^{\,n-m}-1\right)\equiv 01978m(1978n−m−1)≡0 直接化简为与 1978 n−m≡1(mod125)1978^{\,n-m}\equiv 1\pmod{125}1978n−m≡1(mod125) 无关的 mmm。