The story
The theorem highlights a particular form of reciprocity in the solvability of the quadratic equation a² = b in modular arithmetic. It was conjectured by Leonhard Euler and Adrien-Marie Legendre and first proved by Carl Friedrich Gauss.
Etymology from Wiktionary, CC BY-SA 4.0.