由 2p−1≡1(modp)2^{p-1}\equiv1\pmod p2p−1≡1(modp)，两边乘以 2−12^{-1}2−1 得 2p−2≡2−1(modp)2^{p-2}\equiv2^{-1}\pmod p2p−2≡2−1(modp)，同理 3p−2≡3−13^{p-2}\equiv3^{-1}3p−2≡3−1、6p−2≡6−1(modp)6^{p-2}\equiv6^{-1}\pmod p6p−2≡6−1(modp)。将 n=p−2n=p-2n=p−2 代入 ana_nan 即得上述同余式。