Me han demostrado el caso en que $p=2$, así que ahora me estoy planteando $p\geq 3$. Veo que $p^{2}-p = p(p-1)$, en cuyo caso podemos aplicar el Teorema del Resto Chino para obtener el $a\equiv [b,b] \mod{[p,\phi(p)]}$, ya que el $p$ $(p-1)$ son coprime y $\phi(p)=(p-1)$ donde $\phi$ es de Euler totient función. También, veo que $a\equiv b \pmod{\phi(p)}$ implica que el $x^a\equiv x^b \pmod{p}$ algunos $x\in \Phi(p)$ por el de Fermat-teorema de Euler. Sin embargo, no estoy seguro de si este es el mejor enfoque o cómo seguir desde aquí. Cualquier ayuda es muy apreciada, gracias!
Edit: Ahora veo que $x^a\equiv x^b \pmod{p}$ es cierto para todos los $x\in \mathbb{Z}$. Debido a $p$ es primo, $x$ será coprime, o un múltiplo de la de $p$. En cada caso, la declaración es verdadera. Esta es la razón por la que podemos dejar a $x = b$. Entonces podemos usar $a^a\equiv b^a \pmod{p}$$b^a\equiv b^b \pmod{p}$, y hemos terminado.