Trabajando en la base del tiempo, se tiene para formula_4: