Verified Reverse Sorting Works