[Nick]

Originally Posted by henryzz

For 2^n+1 to be prime n must be a power of 2 https://mathworld.wolfram.com/FermatNumber.html has a proof of this.

So do we!: proposition 16 here