Es sabido que cada prime $p$ que satisface el título de la congruencia puede ser expresado en la forma $a^{2} + b^{2}$ para algunos enteros $a,b$, y la única factorización en $Z[i]$ asegura exactamente un ejemplo de una representación para cada una de las $p \equiv 1 \mod 4$.
Parece que al menos uno de $a-b, a+b$ es siempre un primo ? ¿Hay algún matemático explicación para esto ?