Relation between Two Ordinals/Corollary

Theorem
Let $S$ and $T$ be ordinals.

If $S \ne T$, then either $S$ is an initial segment of $T$, or vice versa.