Para cada entero positivo $k$, sea $S(k)$ la suma de los dígitos de $k$ en el sistema decimal. Demostrar que existe un entero $k$, sin ningún $9$ en su representación decimal, tal que: $$S(2^{24^{2017}}k)=S(k)$$