Sei \(-1\) ein Quadrat in der primen Restklassengruppe \(F^*:=(\mathbb{Z}/p\mathbb{Z})^*\),
die aus \(p-1\) Elementen besteht.
Dann gibt es ein \(x\in F^*\) mit \(x^2=-1\).
Folglich ist die Ordnung von \(x\): \(ord(x)=4\).
Nach Lagrange ist die Ordnung eines Gruppenelementes Teiler der Gruppenordnung,
also hier \(4\,| \, p-1\), d.h. \(p\equiv 1\) mod \(4\).
Ist hingegen \(p\equiv 3\) mod \(4\), so ist folglich \(-1\) kein Quadrat.