اگر ${{۲}^{n}}+۱$ عددی اول باشد، آن‌گاه 
1 n عددی اول است.
2 n عددی فرد است.
3 n توانی از ۲ است.
4 n مضرب ۳ است.