请各位巨佬证明一下两点（自己证不清楚）：

1. 对于一个有解的不等式组，删除一个条件使其变为两个独立的不等式组，这两者一定也有解。

2. 对于一个无解的不等式组，删除一个不等式使其变为两个独立的不等式组，这两者至少有一个无解。（不存在 $a-b<w_1,b-a<w2$ 的情况）

（其实大致就是一个由不等式组构成的图上割边的问题）