Finite Non-Empty Subset of Totally Ordered Set has Smallest and Greatest Elements/Proof 2

Proof
The result follows from:


 * Finite Non-Empty Subset of Ordered Set has Maximal and Minimal Elements
 * Minimal Element of Chain is Smallest Element
 * Maximal Element of Chain is Greatest Element