Hagamos una tabla de la secuencia de Fibonacci modulo $5$. Si podemos encontrar dos ocurrencias de los mismos dos términos modulo $5$ todos los $F_{5k}$ (entre los dos ocurrencia) ser $0$ modulo $5$, podemos comprobar esta afirmación.
$$\begin{array}{c|c|c|}
\text{%#%#% to %#%#%} & \text{1} & \text{1} & \text{2} & \text{3} & \text{0} \\
\text{%#%#% to %#%#%} & \text{3} & \text{3} & \text{1} & \text{4} & \text{0} \\
\text{%#%#% to %#%#%} & \text{4} & \text{4} & \text{3} & \text{2} & \text{0} \\
\text{%#%#% to %#%#%} & \text{2} & \text{2} & \text{4} & \text{1} & \text{0} \\
\text{%#%#% to %#%#%} & \text{1} & \text{1} & \text{2} & \text{3} & \text{0} \\
\end{array}$$
Desde $F_1$ $F_5$ son los mismos que $F_6$$F_{10}$, y $F_{11}$, $F_{15}$, $F_{16}$ y $F_{20}$ todos los $F_{21}$, este ciclo se repite de forma indefinida, y por lo tanto,$F_{25}$.