donde "n" y "q" son enteros positivos, ("a","q") son el máximo común divisor de "a" y "q", y "e"("x") es la función exponencial exp(2πi"x").