Una secuencia de enteros se define por \[{ a_n = 2 a_{n-1} + a_{n-2}}, \quad (n > 1), \quad a_0 = 0, a_1 = 1.\]. Pruebe que $2^k$ divide a $a_n$ si y solo si $2^k$ divide a $n$.