The point is that (hare position minus tortoise position, modulo loop size if there is a loop) increases by exactly 1 every time. So if there is a loop it will

The point is that (hare position minus tortoise position, modulo loop size if there is a loop) increases by exactly 1 every time. So if there is a loop it will eventually reach 0, fewer than (loop size) steps after entering the loop.