Como para cada "b" ∈ "G" existe un "x" que es su inverso módulo "p", de concluye que "G" es un grupo.