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

Necessary Condition
Let $x$ and $y$ are parallel.

By definition of parallel:
 * $\set x$ is independent
 * $\set y$ is independent
 * $\set {x, y}$ is dependent

Let $A \subseteq \set {x, y}$ be dependent.

Thus:
 * $A \ne \set x, \set y$

By matroid axiom $(I1)$:
 * $\O$ is independent

Thus:
 * $A \ne \O$

From Leigh.Samphier/Sandbox/Power Set of Doubleton:
 * $\powerset {\set {x, y}} = \big \{ \O, \set x, \set y, \set {x,y} \big \}$

Thus:
 * $A = \set{x,y}$

By definition of a minimal set:
 * $\set {x, y}$ is a minimal dependent subset

It follows that $\set {x, y}$ is a circuit by definition.