An existence theorem for systems of linear equations

Abstract

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.