Fijada "b" una raíz primitiva módulo "p", cualquier entero "a" que no sea divisible entre "p" puede escribirse como formula_19 para un único formula_20.