Successor is Less than Successor/Sufficient Condition

Theorem
Let $x$ and $y$ be ordinals and let $x^+$ denote the successor set of $x$.

Let $x^+ \in y^+$.

Then:
 * $x \in y$