Entonces, hay al menos un subgrupo de orden formula_54 en formula_9.