La imagen de formula_10 es un subgrupo de formula_9.