Para ver esto, notar en primer lugar que si formula_43, entonces para algún formula_7, formula_45 es cero en formula_46, y por tanto formula_47 está en formula_2.