Solution
= Solution
<Euler's criterion> is
$$
\boxed{a^{(p-1)/2}\equiv\left(\frac ap\right)\pmod p.}
$$
It applies also when $p\mid a$. In particular, for a nonzero residue the power is one or minus one according as the residue is a square or a nonsquare.