日高さんは
s^n+t^n=(s+1)^nに正の有理数解(s,t)があることとフェルマーの最終定理が同値かどうか
はわかっているの？