如题，后者定理指的是 $h_i\ge h_{i-1}-1$ 这一项，因为环境网络差到极致所以只要洛谷上的。要求 $\LaTeX$ 齐备，感谢！

悬关。