Definition (Gauss sum)
Let p and q be two distinct primes. Let ζ be any primitive q-th root of unity. That is, ζ is a q-th root of unity with order q. The Gauss Sum, G, is defined as G:=j=0∑q−1(qj)ζj
Lemma (Square of Gauss Sum)
For q and odd prime, we have for the Gauss Sum G: G2=(−1)2q−1q