Cuando formula_71, el subgrupo trivial formula_72 es el formula_54--Sylow subgrupo de formula_9.