Sea formula_100 el ciclo de largo formula_89 que se inicia en formula_126.