أرسل هذا في رسالة قصيرة: Proof of a Recursive Program: Quicksort