Por el teorema de Lagrange, si formula_5 es un formula_6-subgrupo de Sylow, entonces no hay un formula_6-subgrupo de orden mayor que el de formula_5, pues el orden de éste no dividiría al orden de formula_9, y por ello no puede ser un subgrupo de formula_9.