Lemma 4.16 (06NF)
0 tagged blocks link here.
Eugene Gorsky, Paul Wedrich
Original source: arXiv:1904.04481v2