Demuestra 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$ que $p^2 \mid a^{p-1} - 1$ es menor que $\frac{p}{2^{2024}}$