donde formula_6 es el operador posición en el tiempo formula_7.