formula_9 Es evidente, porque las operaciones formula_10 y formula_11 son operaciones en formula_2.