Lemma 7.1.3 (00DP)
6 tagged blocks link here.
Yu Leon Liu, Aaron Mazel-Gee, David Reutter, Catharina Stroppel, Paul Wedrich
Original source: arXiv:2401.02956v2