MathNet 2000 — Math Olympiad Vault Question 63

Let $n$ be a positive integer. Prove that $n$ is a power of two if and only if there exists an integer $m$ such that $2^n - 1$ is a divisor of $m^2 + 9$.