Math behind the algorithm that finds the starting point of a cycle in a linked list