Ahora, es claro que formula_40 son inversos de sí mismos en módulo formula_22, y para todo otro elemento en formula_42 se tiene un inverso en módulo formula_22 diferente al de los demás (por la unicidad).