陈拙盯着那四个字看了两秒。
字迹很老，墨水颜色已经淡了。
但这句话倒是很清楚。
这里是门。
陈拙继续往下看。
那一页的标题下面，写着一个他早就见过很多次的名字。
莱夫谢茨（1，1）定理。
霍奇猜想里少数真正让人安心的地方。
或者说，唯一能称得上全面胜利的地方。
陈拙把那页纸按平，坐回椅子上。
他没有马上看细节，而是伸手拿起粉笔，走到黑板前，把昨天留下的几行公式擦掉。
陈拙後退半步，看着那块重新露出乾净底色的黑板。
然後，他在左边写下：
已经走通。
又在右边写下：
还没走通。
这两个标题一点也不学术。
甚至有点像张强当年整理错题本时会写出来的东西。
但陈拙觉得挺好。
至少看得懂。
左边，是人类已经走通过的那条路。
右边，是霍奇猜想真正的深水区。
他在左边已经走通下面写了两个词。
霍奇类。
除子。
写完之後，他盯着这两个词看了一会儿。
这就是那个成功案例最朴素的样子。
一边是看不见的影子。
一边是看得见的几何东西。
在最简单的那类情况下，人类真的找到了一条路，能让影子落到地面上，变成一个可以被代数方程描述出来的对象。
陈拙低头看了一眼旧讲义。
讲义上当然写得更复杂。
它不会说影子，也不会说地面。
它会写更精确的词，会写一行又一行漂亮但不太像人话的定义，会把每一个连接都标得严丝合缝，那是数学应该有的样子。
但陈拙现在不是在写论文。
他是在拆东西。
拆东西的时候，不需要先管名字好不好看。
先看它怎麽动。
陈拙又在霍奇类和除子之间画了一条线。
这条线很短。
短得让人觉得这件事似乎并不难。
但陈拙知道，真正难的地方就藏在这条短线里。
他小时候第一次看怀表也是这样。
齿轮从外面看都差不多，
…。。