##### ###### ##### ### # # ### # # ###### ## ## ## ## ## ## ## # # # # # ## ##### #### ##### # # # # # # # #### ## # ## ## ## ## # # # # # ## ## # ###### ## ### # ### # ######
##### ###### ##### ### # # ### # # ###### ## ## ## ## ## ## ## # # # # # ## ##### #### ##### # # # # # # # #### ## # ## ## ## ## # # # # # ## ## # ###### ## ### # ### # ######
(The distance proof)
Let be the tail length and be the cycle length. When they first meet, slow traveled and fast traveled where and differ by a multiple of . Since fast moves twice as fast, , so .
This means is a multiple of steps from . Resetting slow and moving both one step puts them at cycle start when they meet.
