Equality of Ordered Pairs/Lemma

Theorem
Let $\set {a, b}$ and $\set {a, d}$ be doubletons such that $\set {a, b} = \set {a, d}$.

Then:
 * $b = d$

Proof
We have that:
 * $b \in \set {a, b}$

and so by the axiom of extension:
 * $b \in \set {a, d}$

So:
 * $(1): \quad$ either $b = a$ or $b = d$.

First suppose that $b = a$.

Then:
 * $\set {a, b} = \set {a, a} = \set a$

We have that:
 * $d \in \set {a, d}$

and so by the axiom of extension:
 * $d \in \set {a, b}$

and so as $\set {a, b} = \set a$ it follows that:
 * $d = a$

We have $b = a$ and $d = a$ and so:
 * $b = d$

and so $b = d$.

Next suppose that $b \ne a$.

We have from $(1)$ that either $b = a$ or $b = d$.

As $b \ne a$ it must be the case that $b = d$.

So in either case we see that:
 * $b = d$