Sea formula_64 un ciclo de largo formula_38 en formula_59, digamos que