Closure of Subset contains Loop

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

Let $x \in S$.

If $x$ is a loop then:
 * $\forall A \subseteq S : x \in \map \sigma A$

where $\map \sigma A$ denotes the closure of $A$.