Well-Ordered Set is Order Isomorphic to Unique Ordinal