>>417
補題はZsigmondyの定理からすぐいえるね、俺の回答の方針はこう。
pをab(a^2-b^2)より大きな素数とする。
n={a^(2p) -b^(2p)}/(a^2 -b^2)とおくと、nが合成数でかつn|a^(n-1) -b^(n-1)であることがいえる。
実は意外と簡単に解けたのですw