Element is Member of Base iff Not Loop

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

Let $\mathscr B$ denote the set of all bases of $M$.

Let $x \in S$.

Then:
 * $\exists B \in \mathscr B : x \in B$ $x$ is not a loop