Ordinals are Well-Ordered/Corollary

Theorem
Let $A$ be a set of ordinals

Let $\Epsilon {\restriction_A}$ denote the epsilon restriction on $A$.

Then $A$ is strictly well-ordered by $\Epsilon {\restriction_A}$.