Notemos que del teorema de Sylow sigue la existencia de un formula_54--Sylow subgrupo de cualquier grupo con formula_54 un divisor del orden de formula_9.