# Linear system/Elimination lemma/Fact

Jump to navigation
Jump to search

Elimination lemma

Let denote a field, and let denote an (inhomogeneous) system of linear equations in the variables . Suppose that is a variable which occurs in at least one equation with a coefficient .

Then every equation , different from ,

can be replaced by an equation in which does not occur any more, and such that the new system of equations , which consists of and the equations , is equivalent

with the system .