Element Depends on Independent Set iff Union with Singleton is Dependent

Theorem
Let $M = \struct{S, \mathscr I}$ be a matroid.

Let $X \in \mathscr I$.

Let $x \in S : x \notin X$.

Then:
 * $x \in \map \sigma X$ $X \cup \set x$ is dependent.