>>763日高
763の主張から判断されることとして，また以後の議論のための前提として，あなたに質問しておきたいことがあります。
3つの実数 s,t,u が存在し，pを奇素数として，この3数の間に
s^p + t^p = u^p
の関係が成り立っているものとする。

s,t,u のうちの2数が有理数であるとき，他の1数は無理数である....(A)

あなたはこの(A)という命題を証明の過程で使っていませんか？
また，z=x+√3 (xはx>0の任意の有理数) とx,zを定義するとき

x:zは整数比となることはない....(B)

この(B)という命題を証明の過程で使っていませんか？