额，最近看到了一个十分有趣的定理——Sperner定理。其实这个定理在OI中没什么用处，因此我都没把这篇文章放到我的OI标签里(不知道在MO中是否有用？)但是觉得它很有趣于是就过来写一下。 由于博主 ...

UPD 2021.7.5: 感谢 Tiw_Air_OAO 大佬提醒，钩长公式有利用 LGV 引理的神奇证法，在 2019 年集训队论文里有提到。不过菜鸡博主还没看懂/kk，以后如果有机会弄明白的话会来 ...