>242
m=1のときっていう特殊な条件下の証明にしかならない。

X^3+Y^3=(Y+1)^3…(2)が整数解を持つならば、(1)も整数解を持つ。
と書いています。