Show that if $a$ is a positive integer and $a^m+1$ is an odd prime, then $m=2^n$ for some nonnegative integer $n$.
I followed the hint given in the book and rewrote it like this:
Let $a^m+1=(a^k+1)(a^{k(l-1)}-a^{k(l-2)}+\cdots-a^{k}+1)$ where $m=kl$ and $l$ is odd. I understand why $a^k+1$ is greater than $1$. However, I don't understand why $a^{k(l-1)}-a^{k(l-2)}+\cdots-a^{k}+1\neq 1.$ I understand that we are trying to show it has non-trivial factorization, but I don't understand why the second part has non-trivial factorization.
Find all of the primes of the form $2^{2^n}+5$, where $n$ is a nonnegative integer.
For this question I'm stuck trying to understand why its important to discuss this in terms of $3k+1$ and $3k+2$. I am also aware the only prime in this form is $7$.