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