1: \begin{definition} \label{a def}

2: Let~$a_1$, $a_2$, and~$a_3$ denote distinct reduced residues\mod q such that

3: \[

4: a_1^2 \equiv a_2^2 \equiv a_3^2\mod q.

5: \]

6: We assume, through the middle of Section~\ref{finally done section}, that $a_1$, $a_2$, and $a_3$ are either all quadratic residues or all quadratic non\-residues\mod q. (Later in Section~\ref{finally done section} we will discuss how this assumption can be removed to establish Theorem~\ref{main theorem} in its entirety).

7: 

8: We will often use $i,j,k$ as indices that denote a generic permutation $(i,j,k)$ of $(1,2,3)$. For example, we define

9: \[

10: a_0 \equiv a_ia_ja_k^{-1}\mod q,

11: \]

12: which is independent of the permutation $(i,j,k)$.

13: \end{definition}

14: