The Steinitz exchange lemma and Gaussian elimination.

I do now completely understand in what sense these are exactly the same thing, but this page will have to wait until I find a good moment to write it.

(Added later.) On second thoughts I am still puzzling over this, and can't quite decide whether they are exactly the same or merely similar.