leetcode(142) 《环形链表 II》算法的数学证明