法8と法125を別々に扱う方が、法1000を直接扱うよりずっと簡単である。
888 と 125125125 は互いに素なので、条件 1978m(1978 n−m−1)≡0(mod1000)1978^m\left(1978^{\,n-m}-1\right)\equiv 0 \pmod{1000}1978m(1978n−m−1)≡0(mod1000) は法 888 と法 125125125 に関する2つの独立な条件に分解される。