Ordinal Membership is Trichotomy

Theorem
Let $\alpha$ and $\beta$ be ordinals.

Then:
 * $\paren {\alpha = \beta} \lor \paren {\alpha \in \beta} \lor \paren {\beta \in \alpha}$

where $\lor$ denotes logical or.