Prove Counting Sort Is Stable. But is there a general way to prove that a sorting algorithm