Si formula_12 y formula_13 son subgrupos de un grupo formula_4, con formula_12 normal en formula_4, entonces