Resolver esto para formula_138 produce, como esperábamos, la misma solución que antes: