Talk:Steinitz exchange lemma

Proof suggestions
Since $k < m \leq n$ in the inductive step, it is clear without further explanation that $k+1 < n$. Also, it might be obvious but maybe it should be stated in (1) that the reordering of the $w_i$s is dependent on $k$. — Preceding unsigned comment added by S11-73-3-33 (talk • contribs) 15:48, 17 August 2011 (UTC)
 * Good ideas, done. Quietbritishjim (talk) 14:30, 5 January 2012 (UTC)

Recalling the proof
This was taught to us by T.W.Körner as the Night Of The Living Dead lemma. It was an aide-mémoire to the proof: spanning vectors being replaced one-by-one with LI vectors, like a zombie plague sweeping through a human population. 86.161.44.54 (talk) 20:25, 21 October 2014 (UTC)