>693
順番が逆。(5)の自然数解があったら、a^{1/(p-1)}で一斉に割ると(3)の無理数解になる。

(5)に自然数解があったら、(3)にも、自然数解があることに、なります。