元素的阶总是整除群的指数,此处即 φ(125) = 100。
由欧拉定理得 1978φ(125)≡1(mod125)1978^{\varphi(125)}\equiv 1\pmod{125}1978φ(125)≡1(mod125),其中 φ(125)=100\varphi(125)=100φ(125)=100,因此满足同余式的最小 n−mn-mn−m 就是乘法阶 ord125(1978)\mathrm{ord}_{125}(1978)ord125(1978),且它必须整除 100100100。