3枚目の4行目なんですけど、なぜx+y「または」x-yは2pの倍数なのでしょうか?
「少なくとも」x+y、x-yのどちらかは2pの倍数
ではないのですか?

https://i.imgur.com/qzAiUXy.jpg
https://i.imgur.com/wqzRcFp.jpg
https://i.imgur.com/Wuqi5jE.jpg