Sea un número primo y sea el conjunto de enteros módulo . Sea una función definida en tal que y para , establezca si es un residuo cuadrático módulo y si es un no residuo cuadrático módulo . Tenga en cuenta que es de hecho el símbolo de Legendre. La imagen de en el conjunto de números reales. En este documento, consideramos la siguiente suma donde son elementos distintos en .