方程式から nnn は偶数なので n=2n′n=2n'n=2n′ とおく。すると 13n′=10m−413n'=10^m-413n′=10m−4、すなわち 10m≡4(mod13)10^m\equiv4\pmod{13}10m≡4(mod13) である。