>>23

> >よく見てと言われたって，肝心のところは証明が書かれていないのだから，
> どうしようもありません。
>
> どの部分でしょうか？

>>1 の

> ⑥のX,Y,Zは④のx,y,zのa^{1/(p-1)}倍となるので、X:Y:Z=x:y:zとなる。

と

> よって、⑥も式は成り立たない。

との間です。