O sea, "p" = "x"+"y", donde "x" e "y" son números enteros si "p" =4"k"+1 para algún "k" entero, o escrito en notación moderna, "p" ≡ 1 (mod 4) (véase aritmética modular).