donde formula_12 es definido como el interior de formula_9.