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

「一般性を失わないため」とは、どういう意味でしょうか?