>>433
＞∴p|2ᵖ-2も加味し、p|2ᵖ+2ᵝ-1
＞∴p|2²ᵖ+2ᵖᵝ-1=4ᵖ+2ⁿ+1-2=4ᵖ-2+γn

今度は p|2²ᵖ+2ᵖᵝ-1 が意味不明。
どこからこんな式が出てくるんだよ。

もし (x＋y)^p ≡ x^p＋y^p (mod p) を
使っているのならば、

p|2^p＋2^β−1
p|(2^p＋2^β−1)^p
p|2^{2p}＋2^{pβ}−1

という計算をしているものと思われるが、これは間違っている。
なぜなら、2^{2p} のところは 2^{p^2} が正しい計算だからだ。
すなわち、正しくは

p|2^{p^2}＋2^{pβ}−1

しか出てこない。


＞∴p|4-2=2なるが、pが奇素数である事に矛盾

ここもよく分からん。p|4ᵖ-4 からどうして p|4−2 が出てくるんだ。
もっとも、上で指摘したとおり、それ以前のところで間違ってるから、
この指摘は必要ないっちゃ必要ないがね。