y no "σ(G):=(τ(K),τ(H))" como se podría pensar.