>>404
>前提より、或るγ∈ℕが存在し、2ⁿ+1=γn
>∴p|γn-2ᵝ-1、則ちp|2ᵝ+1
>∴p|2ⁿ+2ᵖ

なんで p|2ⁿ+2ᵖ が出るんだ?