Linear system/Elimination lemma/Fact/Proof