>X^p+Y^p=(X+r)^p が最初の前提になっているので、当然これは成り立ちます。

X^p+Y^p=(X+r)^pが成り立つ理由を教えていただけないでしょうか。