Equality of Successors

Theorem
Let $x$ and $y$ be ordinals.

Let $x^+$ denote the successor set of $x$.

Then, $x = y \iff x^+ = y^+$

Proof
Conversely,