Equivalentemente, tenemos que formula_15 se puede definir como el menor subgrupo de formula_3 que contiene a formula_12.