Irreducibly inconsistent systems of linear inequalities