Para la suposición, "p" = 4"k" + 1 para algún entero "k".