Sea formula_23 generado por los formula_24.