T4 题解

注意到符合 $x(1\le x \le p,gcd(x,p)=1)$ 的 $x$ 的合法取值方案有 $p-1$ 种，所以 $p$ 为质数。

由费马小定理得 $a^{p-1}\equiv 1 \pmod{p}$ ，所以可得 $a^{p}\equiv p \pmod{p}$。

所以柿子自己推。