初等数学によるフェルマーの最終定理の証明９

>>226
> (2^n)k={(t+1)^n}k-(t^n)k…(4)が有理数解を持つならば(3)も有理数解を持つ。

「ならば」の意味がわかっていないんだろう？　わかったふりしてるだけ。