Lemma 8.3

Lemma 8.3 (Unique relay). If consecutive states $u>v$ of that final reduced chain are carried at nonadjacent construction times, the supported descriptor segment between them is, up to endpoint detours at a recursive bottom, $$\epsilon\,0\,0\cdots0.$$