“…4, when the condition p ≡ 1 mod 4 is met then k is a fourth power mod p if 1) . Using the little theorem of Fermat, it follows that (z) (p−1) ≡ 1 mod p [41], implying that k (p−1)/4 mod p ≡ 1. Thus, k (p−1)/4 mod p ≡ 1 implies that k is not a fourth power mod p of some element in the F p field .…”