>155
(3)の解のa^{1/(p-1)}倍は(4')の解にならないから十分でない

(3')の解 x={無理数},y={無理数}は、整数比となりません。