Esto tiene una forma muy simple aritmética interpretación como echando nueves de $\rm\:2^k n,\:$ realizado por intercalado fundición y duplicación, es decir, repetidamente: sumar los dígitos de $\rm\,n\,$ y luego doble. Usando esto para calcular $\:2^4\cdot 58\pmod 9$ obtenemos el siguiente cálculo
$$\begin{eqnarray}\rm cast &\rm out&\rm 9'\!s\quad\ double\qquad\\ \hline \end{eqnarray} $$ $$\begin{eqnarray} 5 + 8 &=& 13,\quad 2&\cdot& 13 &\,=\,& \color{#0A0}{26} \\ \color{#0A0}2 + \color{#0A0}6 & = &\ \ 8,\quad 2&\cdot&\ \ 8 &\,=\,& \color{#C00}{16} \\ \color{#C00}1 + \color{#C00}6 &=&\ \ 7,\quad 2&\cdot&\ \ 7 &\,=\,&\color{blue}{ 14} \\ \color{blue}1 + \color{blue}4 &=&\ \ 5,\quad 2&\cdot&\ \ 5 &\,=\,& 10 \end{eqnarray}$$
Por lo tanto, $\: 2^4\cdot 58\equiv 10 \pmod 9.\ $ Observe que $\,58,\,\color{#0A0}{26},\,\color{#C00}{16},\,\color{blue}{14},10,\ $ la secuencia de resultados intermedios anterior, es precisamente la secuencia original.