Jump to content

Linear system/Elimination lemma/Fact/Proof

From Wikiversity
Proof

Changing the numbering, we may assume . Let be the equation

(with ), and let be the equation

Then the equation

has the form

and does not occur in it. Because of , the systems are equivalent.