Theorem 2.3 (06DU)
0 tagged blocks link here.
Ben Elias, Geordie Williamson
Original source: arXiv:1309.0865v1