Making the sort constant in time denies the power of The Sorter. The Sorter exists outside of time, thus the sort is timeless. To require time to validate the sort dimishes the role of the Sorter. Thus... this particular sort is flawed, and can not be attributed to 'The Sorter'.Heresy!
In contrast, Krishna Kumar writes:
A corollary: All elements are created equal under the Sorter.So it seems the Sorter is benevolent in His munificence!Proof: Take a random permutation of the input list; this second list is also Sorted by the same argument as above. This means that any two elements in the two lists with the same index are equal to each other. But the second list was a random permutation; which indicates that every element in the original list is equal to every other element. QED.