Past exam of the mathematics course of the year 1 of the natural sciences course of the University of Cambridge / 2010 / Paper 1 / 12 / b / Solution

After $j$ choices, let $C_j$ be the number of forward moves. The two unwrapped positions are $C_j$ and $F-(j-C_j)$, whose gap is $F-j$. It follows that the first subsequent meeting occurs exactly at step $F$, regardless of the order of the choices. Its position is the number of forward moves in that block.

That count has a binomial distribution with parameters $F,p$. ThereforeThe two endpoint labels $0$ and $F$ represent the same physical seat reached by different complete circuits; the unwrapped convention distinguishes their probabilities.