61 $(SWE 4)$ Sean $a_0, a_1, a_2, \cdots$ determinados con $a_0 = 0, a_{n+1} = 2a_n + 2^n$. Demuestra que si $n$ es potencia de $2$, entonces también lo es $a_n$.