单向链表寻找入环点算法的证明

问题起源:

漫画算法:如何判断链表有环?

针对寻找入环点,网络上提供的算法为:

设指针p,p从head出发,速度与慢指针相同,慢指针从相遇点同时出发,到两个指针相遇时的结点,即为入环点.

这里给出该方法正确的证明: