Solution to Counting Sort 4
Solution to Correctness Invariant