Enviar aquest missatge de text: Proof of a Recursive Program: Quicksort