Q3 Matemática  (Czech-Polish-Slovak Match 2000)

Seja $n$ um inteiro positivo. Prove que $n$ é uma potência de dois se e somente se existe um inteiro $m$ tal que $2^n-1$ é um divisor de $m^2+9$.