>45
今>>1を証明している最中なので、>>1はまだ証明されていません。
なので、理由に>>1を使うことはできません。

s^p+t^p=u^pは、x^p+y^p=z^pの、x,y,zが有理数の、場合と同じです。