解法：用彩虹树证明林格尔猜想(2020年)

蒙哥马利、波克罗夫斯基与苏达科夫(2021年,第2节,引理3.5“情形划分”)证明,对某个小常数 $\delta > 0$,每棵足够大的 $(n+1)$ 顶点树都至少属于以下三种情形之一:情形A,$T \text{ has at least } \delta^6 n \text{ non-neighbouring leaves}$(若一片叶子不与另一片叶子相邻,则称其为非相邻叶子);情形B,$T \text{ has at least } \delta n/800 \text{ vertex-disjoint bare paths of length } \delta^{-1}$(裸路径是指其内部顶点在 $T$ 中度数均为 $2$ 的路径);情形C,$\text{removing leaves next to vertices of degree} \ge \delta^{-4} \text{ leaves a tree with at most } n/100 \text{ vertices}$。三种情形可能重叠,但论文只需把一棵树当作属于情形A或B(若满足),否则归入情形C来处理。