As is well known, the theory of linear inequalities is closely related to the study of convex polytopes.