Element is Loop iff Singleton is Circuit

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

Let $x \in S$.

Then: $x$ is a loop $\set x$ is a circuit