Exponenciación al cuadrado es muy adecuado para este tipo de cálculos (donde sea necesario) en la aritmética modular. Como un ejemplo de cómo esto puede ser usado en este caso:
\begin{align}
13^2 &= 169 \equiv 8 \bmod 23\\
13^4 &\equiv 8^2 \equiv 18 \bmod 23\\
13^8 &\equiv 18^2 \equiv (-5)^2 \equiv 25\equiv 2 \bmod 23\\
\text {and then}\qquad\\
13^{11} = 13^8\cdot13^2\cdot13^1 &\equiv 2\cdot8\cdot 13 \equiv 208 \equiv 1\bmod 23\\
\end{align}
En este caso, dado que el $a^{22}\equiv 1 \bmod 23$ cualquier $a$ coprime a $23$ por Fermat poco teorema, sólo tenemos que encontrar a todos los $b$ tal que $b\equiv a^2\bmod 23$ algunos $a$. En lugar del cálculo anterior, nos encontramos con $6^2=36\equiv 13 \bmod 23$, por lo que, necesariamente,$13^{11}\equiv 6^{22}\equiv 1 \bmod 23$.