Claramente, formula_6 es un subgrupo de formula_19.