>434
(1)が自然数解を持てば{(x+1)^3-x^3}{(z+1)^3-z^3}のx,zが無理数でも当然y,mは自然数であり
(y+m)^3-y^3は「3乗数」になって(2)が整数解を持つ必要はないので日高証明は間違っている

(1)が自然数解を持てば{(x+1)^3-x^3}{(z+1)^3-z^3}のx,zも整数となります。