Lemma 2.10 (06E1)
0 tagged blocks link here.
Ben Elias, Geordie Williamson
Original source: arXiv:1309.0865v1