Dado que formula_22 es primo, entonces para todo formula_23 se tiene que formula_24 y entonces cada formula_25 tiene un único inverso módulo formula_26 en el conjunto formula_27.