Quicksort

Kebenaran dari algoritme partisi didasari pada dua argumen berikut: