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

Theoren
Let $U, V$ be finite sets.

Let $\card V < \card U$.

Then:
 * $\card{V \setminus U} < \card{U \setminus V}$

Proof
We have: