>>404
後半部の訂正
nが合成数の時、n|2ⁿ+1と仮定する
或る素数pとβ∈ℕが存在し、n=pβと表せる
∴p|2ⁿ+1
Fermatの小定理より、p|2ᵖ⁻¹-1
∴p|2ᵖ-2
∴p|2ᵖᵝ-2ᵝ=2ⁿ+1-2ᵝ-1
前提より、或るγ∈ℕが存在し、2ⁿ+1=γn
∴p|γn-2ᵝ-1、則ちp|2ᵝ+1
∴p|2ᵖ-2も加味し、p|2ᵖ+2ᵝ-1
∴p|2²ᵖ+2ᵖᵝ-1=4ᵖ+2ⁿ+1-2=4ᵖ-2+γn
此処で、Fermatの小定理より、p|4ᵖ⁻¹-1 従ってp|4ᵖ-4