单链表带环追击算法的拓展证明如何进行?