我想你说的是这个评论？如果是的话这个引理应该是拓扑里的sperner引理，也就是我所说的那一个。

听说高斯证明代数基本定理时用了一个引理，他说“据我所知，我所认识的每一个人都不会对其表示怀疑，我稍后会给出证明”结果完整的证明直到上世纪才被给出并获得菲尔兹奖

【勘误楼】笔者找出处的时候不太细心，找了一个组合里的sperner定理，这是一个用于刻画sperner集族的元素个数的定理，和这里的 sperner lemma不是一回事。感谢@小巫宇宇 的指正。这里也分享一下这个sperner引理的证明(ﾟoﾟ;

证明繁而不难，故略

所以证了啥结论，不管难不难最好记下来，指不定啥时候忘了

我有个绝妙的点子，可惜这里放不下

让我想到了一部电影《时间尽头的房屋》

我已经证实了永动机的原理和构成。可惜这里太小我写不下

不写注释的后果

好贴

程序员的常态。
“这垃圾代码谁写的？”
“原来是我写的”
“这个todo为什么不写留着养鱼吗？”
“原来是我留的”

这个教授多少年了都没啥长进

费马？