Theorem 5.3.2 (0ENQ)
0 tagged blocks link here.
Elden Elmanto, Vladimir Sosnilo
Original source: arXiv:2010.09155v3