>358
フェルマーの最終定理の結果を使わないと 成否は同じ とは言えません

k/k=1なので、成否は同じです。(2)と同じとなります。