Lexicographic Order on Totally Ordered Sets is Total Ordering