A criterion for the redundancy in systems of linear inequalities

• 线性不等式组可约的一个充要条件