Esto se puede usar de hecho para probar parte de otro famoso resultado: −1 es un cuadrado (residuo cuadrático) mod "p" si "p" ≡ 1 (mod 4).