关于判断链表入环节点的证明，我自己写了一下。