Lemma 4.8 (0MHY)
6 tagged blocks link here.
Clark Barwick, Christopher Schommer-Pries
Original source: arXiv:1112.0040v6