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 に帰着する。