Proof

Sorting: