 Euler's criterion

For an odd prime $p$ and $p\nmid a$,

Euler's criterion is a result in number theory that provides a way to determine whether a given integer is a quadratic residue modulo a prime number.