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

>>396
2^n=(X+m)^n-X^nのm≠1の実数解Xについて(2)と(2^n)k={(X+1)^n}k-(t^n)kは成立しないが(3),(1)は成立するので
理解しているならば「(2)は成立しないので、(2^n)k={(t+1)^n}k-(t^n)k及び(3),(1)も成立しない。」などとは書かない

(2)と(2^n)k={(X+1)^n}k-(t^n)kは成立しないが(3),(1)は成立するのでの理由を教えて下さい。