Quod erat demanstrandum

Soient p et q deux nombres premiers impairs, $p \not = q$. On écrit p=2p'+1 et q=2q'+1. Pour tout $k \in \{1,2,\dots,q'\}$, on note (-1)^e_kr_k (où $1\leq r_k \leq q'$ et $e_k \in \{0,1\}$) le résidu de kp modulo q de plus petite valeur absolue.