Observe how the slow pointer (Tortoise, +1 step) and fast pointer (Hare, +2 steps) guarantee intersection inside a loop.
Initial State: Both pointers start at Node 1 (head of linked list).