introduce base and circuit and prove a lemma about how they relate to independent sets.
add definition of subspace to linear algebra
prove whitney's lemma 3
prove lemma 4, theorem 3 from whitney (matroids)