Recíprocamente, si formula_47 está en formula_2 para algún formula_7 será formula_52, entonces formula_53es cero en formula_46, y por tanto formula_55 está en formula_56.