Nonempty Finite Ordered Sets Are Bounded & Contain Their Infimum & Supremum