Školjka

%V0 $(SWE 4)$ Let $a_0, a_1, a_2, \cdots$ 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$