フェルマーの最終定理の証明

>530
(y-1)=3のとき(2)がなりたたずk,yの値を変えると(2)の成否が変わる場合が証明できていません

(y-1)=3以外でも、(2)の成否は変わりません。