Пусть \(n=2^k m\), где \(m\) нечётно. Если \(m>1\), то, положив \(b=2^{2^k}\), получим \(2^n+1=b^m+1\). Для нечётного \(m\) сумма степеней раскладывается: \[b^m+1=(b+1)(b^{m-1}-b^{m-2}+\dots-b+1),\] поэтому число составное. Следовательно, \(m=1\), то есть \(n=2^k\). Отдельно допускается \(n=1\).