Considerando el generador formula_36, entonces:formula_37