Lemma 3.2.2 (0EQ6)
0 tagged blocks link here.
Aaron Mazel-Gee, Reuben Stern
Original source: arXiv:2104.04021v2