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

>643
k,yが異なると(2)の左辺の値も異なるので(y-1)≠3の場合が証明できていません

k,yが異なると(2)の左辺の値も異なります。