快慢指针判断单链表是否有环是可以从数学上证明的