自己证了一下，删掉的元素是刚加的元素的情况证出来了，如果不是这种情况可以通过背包的无序性把要删掉的元素视为最后一个元素进行删除。

可是，如何严谨（？）地证明 背包的无序性（每个物品可以以任何顺序更新背包，最后的 dp 数组不变）？看起来很显然但是有无人给个证法 qwq