An existence theorem for systems of linear equations
Jǐŕı Rohn · Linear and Multilinear Algebra · 1991
Given is a constructive proof of the following theorem: A system of linear equations has a [nonnegative] solution if and only if each system constructed by replacing each equation by one of the two associated inequalities has a [nonnegative] solution.