>>895
「r^(p-1)=paとなる」とあるからa=r^(p-1)/p。
「EのX,Y,ZはCのx,y,zのa^{1/(p-1)}倍となる」とあるが
a^{1/(p-1)}=r/[p^{1/(p-1)}]だからこれは無理数。
よってCのx,y,zは無理数となり
Cの無理数解については何も調べていないのだからこの証明は誤り。