En particular, formula_53 es un subgrupo de formula_54.