Linear system/Elimination lemma/Fact/Proof
Appearance
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.