En efecto, si formula_7 y formula_47 están en formula_44 se tiene que: