اگر ${{۲}^{n}}+۱$ عددی اول باشد، آن‌گاه 

n عددی اول است.

n عددی فرد است.

n توانی از ۲ است.

n مضرب ۳ است.