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.