Definición: Sea p un número real tal que 0.5("n"-1) mod "n" = 1 para todo entero "a" tal que 1≤"a"≤"n"-1.