Esto significa que para cada elemento "a" de "G", hay un único inverso multiplicativo "b" en "G" tal que "ab" ≡ 1 (mod "p").