Proposition 2.9.5.1 (Euler's criterion).  Let p be an oddprime, a ∈ (Fp)×. Then the following are equivalent:
  1. ∃ y ∈ Fp : y2 = a
  2. a(p1)∕2 = 1Fp
No proof.
References.