MathNet 2026 — Part 03 Question 52

Let $\varphi$ denote the Euler phi-function. Prove that for every positive integer $n$
$$
2^{n(n+1)} \mid 32 \cdot \varphi\left(2^{2^{n}}-1\right)
$$