Considerando el generador formula_34, entonces :formula_35