Q7 Matemática  (Romanian Masters of Mathematics Collection 2017)

Para cada inteiro positivo $k$, seja $S(k)$ a soma dos dígitos de $k$ no sistema decimal. Mostre que existe um inteiro $k$, sem $9$ em sua representação decimal, tal que: $$S(2^{24^{2017}}k)=S(k)$$