>【定理】pが奇素数のとき、x^p+y^p = z^p となる自然数の組 (x,y,z) は存在しない。

ご指摘ありがとうございます。ご指摘通りと思います。

> これは r^(p-1){(y/r)^p-1}=p{x^(p-1)+…+r^(p-2)x} .. (3) と変形できる。
については(2)から(3)に変形する過程を丁寧に示した方がいい。

ご指摘通りと思います。

ただ、もう少し今のままの形を続けさせて下さい。

ご指摘を無視するわけでは、ありません。

内容について、間違いの箇所をご指摘いただけないでしょうか。