formula_8 denota el interior de formula_9.