Question 61(SWE 4) Let $a_0,a_1,a_2$ be determined with $a_0=0$, $a_{n+1}=2a_n+2^n$. Prove that if $n$ is power of $2$, then so is $a_n$.