The exchange lemma and Gaussian elimination | Hacker News Reader