Relation between Two Ordinals

Theorem
Let $A$ and $B$ be ordinals.

Then if $A \ne B$, then either $A$ is an initial segment of $B$, or vice versa.

Proof
The result follows by Ordinal Membership Trichotomy, and by the definition that every element of an ordinal is also an initial segment.