Finite Totally Ordered Set is Well-Ordered

Theorem
Every finite totally ordered set is well-ordered.