En efecto, sean formula_34 un isomorfismo y x un elemento de G, entonces tenemos,