Corollary 2.41 (0IKU)
0 tagged blocks link here.
Shay Ben-Moshe, Tomer M. Schlank
Original source: arXiv:2111.10203v2