User:Leigh.Samphier/Sandbox/Matroid Satisfies Base Axiom/Sufficient Condition/Lemma/Lemma 2

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