若 n>3n>3n>3,写成 n=3tn=3tn=3t,令 ttt 的最小质因子为 qqq,则 q>3q>3q>3。按模 qqq 重复指数论证,最小的 www 满足 2w≡−1(modq)2^w\equiv-1\pmod q2w≡−1(modq),且 www 整除 nnn、小于 qqq。由于 3 在 nnn 中只出现一次,www 为1或3;于是 qqq 整除 3 或 q∣(23+1)=9q\mid(2^3+1)=9q∣(23+1)=9,均与 q>3q>3q>3 矛盾。最后 n=3n=3n=3 满足 (23+1)/32=1(2^3+1)/3^2=1(23+1)/32=1。