Started proving the recursive part of quicksort.