>149
> (z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を、
> (z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=Dとおく。
> AB=CDならば、B=Dのとき、A=Cとなる。
>

「仮定」はどの部分ですか？
「AB=CDならば、」です。

「結論」はどの部分ですか？
「B=Dのとき、A=Cとなる。」です。

「証明」はどの部分ですか？
「1={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数は、x=1、y=1のみである。
これを、(z^p/1)=(x+y)に代入すると、zは自然数とならない。」です。