See Theorem 4.1.3 in [327Jump To The Next Citation Point].