Si formula_9 es el estado del sistema a tiempo "t", tenemos: