Más aún, si formula_6 es una familia de subgrupos de formula_3, entonces formula_8 es también un subgrupo de formula_3.