Prove some facts about dependence and the stuff about minimal generating/maximal independent sets. prove steinitz exchange lemma, rip that stuff out of linear_systems notes