(Primer teorema de Sylow) Sea formula_54 un factor primo del orden de un grupo y sea formula_64, formula_65, un divisor del orden del grupo.