Distinct Elements are Parallel iff Pair forms Circuit

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

Let $x, y \in S : x \ne y$.

Then:
 * $x$ and $y$ are parallel $\set {x, y}$ is a circuit