a x ≡ 1 ( m o d p ) ax \equiv1(mod\;p) ax≡1(modp) 由同余方程定义得 a × a − 1 ≡ 1 ( m o d p ) a\times a^{-1}\equiv1(mod\; p) a×a−1≡1(modp), 那么 a × a − 1 = K p + 1 a \times a^{-1}=Kp+1 a×a−1=Kp+1
如果有 S ≡ 0 ( m o d p ) S\equiv0(mod\;p) S≡0(modp) 那么左边乘上一个 i − 1 i^{-1}