Entonces uno puede pensar que el grupo "G" está incluido en "G*H" pues trivialmente vemos que cada elemento de "G" es una palabra reducida en "G*H", y similarmente para "H".