En consecuencia, un formula_6-subgrupo de Sylow es normal en formula_9 si y sólo si éste es el único formula_6-subgrupo de Sylow de formula_9.