 Let "q" be a prime power such that "q" = 3 (mod 4).Thus, the finite field of order "q", F"q", has no square root of −1.Consequently, for each pair ("a","b") of distinct elements of F"q", either "a" − "b" or "b" − "a", but not both, is a square.