前のスレッドの922について

> (修正24)
> 【定理】n≧3のとき、x^n+y^n=z^nの解x,y,zは共に自然数とならない。
【証明】x,yは有理数、a,rは実数とする。
> x^n+y^n=z^nを、z=x+rとおいてx^n+y^n=(x+r)^n…(1)とする。
> (1)をr^(n-1){(y/r)^n-1}=an{x^(n-1)+…+r^(n-2)x}(1/a)…(2)と変形する。
> (2)はa=1、r^(n-1)=nのとき、x^n+y^n=(x+n^{1/(n-1)})^n…(3)となる。
について。

> x、y、zが有理数ならば、(1)(2)(3)(4)は成立しません。

このように、あなたが証拠を書けないことが、修正24が間違っているという証拠です。

そして、肝心のx、y、zが有理数の時に、(1)も(2)も(4)も(3)にならない、(3)と何の関係もないのに、
> (3)が成立しないので、(2)も成立しません。(2)が成立しないので、(1)も成立しません。

という嘘の証拠しか書けないことが、修正24が間違っている証拠です。

> (3)が成立しないので、(2)も成立しません。(2)が成立しないので、(1)も成立しません。
が嘘の証拠であるという証拠は、x、y、zが有理数の時、絶対に(2)は(3)にならない、x、y、zが有理数の時、(2)と(3)は関係ない別の式だからです。

あなたが証拠が書けないことや、あなたがうその証拠を書くことから、修正24は間違っているということでいいですか?