MetaMath '24

Neka je $p$ prost i $a \in \mathbb{Z}$. Ako $p \mid a^p - 1$, dokažite da $p^2 \mid a^p - 1$.