Lemma 2.2.3 (05X1)
8 tagged blocks link here.
Tomer Schlank, Lior Yanovski
Original source: arXiv:1808.06006v3