Nos interesa ver cuándo será posible establecer una estructura de grupo en formula_66 deducida de la estructura de grupo de formula_19.