>x,y が整数だったら、一般性を失わないためには
　x^3+y^3=(y+m)^3…(1) としなければならない
という事は認めてもらえるでしょうか？

はい。