clrs; problem 8.7 - the 0-1 sorting lemma and columnsort