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