Lemma 3.9 (0KF4)
5 tagged blocks link here.
Tomer M. Schlank, Lior Yanovski
Original source: arXiv:1902.04061v1