KöMaL 2022 B5276

Prove that there exist infinitely many positive integers $k$ for which the sum of the digits of $2^k$ is $a)$ smaller; $b)$ greater than the sum of the digits of $2^{k+1}$.