>67
x^(p-1)-x^(p-2)y+…+y^(p-1)=a
をどう使って、
「自然数解を持たない」を証明するのか、って事。

(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
となります。