>113
s^p+t^p=u^pとなるので、この式を満たすような有理数s,t,uがあるかないかを探すことが次の作業です。

これは、(5)によって、探せます。