Ta thấy: [tex]n-1=\frac{4^p-4}{3}=4\frac{4^{p-1}-1}{3}[/tex]
Theo định lí Fermat nhỏ thì [tex]4^{p-1}\equiv 1(modp)\Rightarrow 4^{p-1}-1\vdots p\Rightarrow n-1\vdots 2p[/tex]
[tex]\Rightarrow 2^{n}-2=2(2^{n-1}-1)\vdots 2^{2p}-1[/tex]
Mà [tex]2^{2p}-1=3n\vdots n\Rightarrow 2(2^{n-1}-1)\vdots n\Rightarrow 2^n-2\vdots n[/tex]