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

>>325
a,bが有理数,tが無理数の場合に2^n=a-b=(t+1)^n-t^n=z^n-x^nを満たすxは有理数と無理数のどちらもあるので>>315の
「∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。」は言えない

よく意味がわかりません。