Demuestre que existe un entero positivo $K$ que satisface la siguiente condición. Condición: Para cualquier primo $p > K$ , el número de enteros positivos $a \le p$ tales que $p^2 \mid a^{p-1} - 1$ es menor que $\frac{p}{2^{2024}}$