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