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