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 に代入すると上の合同式を得る。