Euler's criterion (source code)

= Euler's criterion
{c}
{wiki}

For an odd prime $p$ and $p\nmid a$,
$$
a^{(p-1)/2}\equiv\left(\frac ap\right)\pmod p.
$$