Carl Størmer and his Numbers

Matthew Kroesche, Lance L. Littlejohn, Graeme Reinhart

In many proofs of Fermat's Two Squares Theorem, the smallest least residue solution $x_0$ of the quadratic congruence $x^2\equiv -1\mathrm{mod}p$ plays an essential role; here $p$ is p…