donde formula_10 es formula_11 si formula_6 y formula_7 son formula_11.