些边任意二染色，而无论怎么染色，必然能找到无穷个顶点，它们之间的边都染同一种颜色……”
“……每一棵无限的二叉树必定包含一条无限长的分支……”
“……故而RT_2^2推不出WKL……”
温尼伯格教授心很急，所以几乎是一目十行的先将整篇论文扫了一遍。
当看到结尾处写到西塔潘猜想被否定之后，他整个人都逐渐的放松下来，眉头松开，仿佛完成了一件什么大事。
“快速浏览的时候没看到什么问题，现在再细看一遍……”
温尼伯格教授将论文翻到最前面，手里拿着笔和本子，准备做验算。
时间分分秒秒的流逝，很快便到了下午。
中途实习生敲开办公室的门，让温尼伯格教授去吃午饭，都被他拒绝了。
“终于完成了！”
蓦然间，温尼伯格教授抬起头，眼神中带着欣慰和解脱。
困扰了他二十多年的难题终于被解开了！
“不过到底是谁把西塔潘猜想给解决了，该死的！审稿的时候为什么总是要匿名！”
温尼伯格教授有点无奈。
比起学术界其他人，他在西塔潘猜想上付出的心血是最多的。
别人研究西塔潘猜想都是忽然来了兴趣，尝试尝试，觉得碰壁了，马上就转换枪头。
而他年轻的时候心高气傲，头铁的撞在了西塔潘猜想的墙壁上，一撞就是一年多。
最后还是在他的导师的劝告下，才最终放弃了这个猜想。
所以比起任何人，他都更想知道到底是谁证明了西塔潘猜想。
然而审稿的时候，所有的论文都是匿名的。
除非你是学术界真正的顶级大牛，而且和编辑的关系不错，这样才有可能在论文期刊发出来之前得知该论文的作者是谁。
但是温尼伯克教授并不是。
他虽然在计算机领域和数学领域都有一些成就，但比起真正的大佬，还是有距离