Linear system of inequalities/Remark