Fixed a mistake in quick sort proof