User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Base Axioms/Lemma 4

Theorem
Let $S$ be a finite set.

Let $B_1, B_2, V \subseteq S$.

Let $V \subseteq B_2$.

Then:

Proof
We have:

and