User:Leigh.Samphier/Sandbox/Equivalence of Definitions of Matroid Circuit Axioms/Condition 1 Implies Condition 2

Theorem
Let $S$ be a finite set.

Let $\mathscr C$ be a non-empty set of subsets of $S$.

Let $\mathscr C$ satisfy the circuit axioms:

Then:
 * $\mathscr C$ satisfies the circuit axioms: