Donde formula_13 es la condición inicial.