链表排序结果的重排算法正确性证明