[Bouncers] Lemma 7.16, proof case 2, help the reader understand why the HP of Lemma 7.15 applies

[tcosmo]

Expand on:

We deduce that $r_1[i \text{ mod } |r_1|] = r_2^\infty[i]$ for all $i\in\N$.

[tcosmo]