>「p=3のとき、x^3+y^3=(y+m)^3…(1) が成立するならば、x^3+y^3=(y+1)^3も成立します。」
が成り立つ、は証明されていません。

(X1X2)^p={(Y1+1)^p-Y1^p}{Y2+1)^p-Y2^p}となります。