Problem: Consider the assertion that for each positive integer $n\geq2$,
the remainder upon dividing $2^{2^n}$ by $2^n-1$ is a power of $4$.
Either prove the assertion or find (with proof) a counterexample.

\end{enumerate}

Solution: We claim $n = 25$ is a counterexample.
Since $2^{25} \equiv 2^0 \pmod{2^{25}-1}$, we have
\[ 2^{2^{25}} \equiv 2^{2^{25} \bmod{25}}
  \equiv 2^7 \bmod{2^{25}-1} \]
and the right-hand side is actually the remainder,
since $0 < 2^7 < 2^{25}$.
But $2^7$ is not a power of $4$.

\begin{remark*}
  Really, the problem is just equivalent
  for asking $2^n$ to have odd remainder when divided by $n$.
\end{remark*}