有被证明存在的。
代数循环。
他站到代数循环旁边。
看了几秒。
然後拿板擦，把中间那个一直被圈出来的候选位置擦空。
乾乾净净。
「所以我回来以後，第一次没再找它。」
这句话让报告厅彻底静下来。
前面那麽长时间。
陈拙一直在找。
从科大开始找。找位置。
找桥。
找工具。
找抓手。
找能让代数世界承认的秤。
现在他第一次主动把那里擦掉。
什麽都不放。
「先假设......」
陈拙指着那片空白。
「这里没有代数循环。」
没有人记笔记了。
所有人都看着黑板。陈拙把常数重新写到旁边。
然後从最外层开始。
第一行，第二行，第三行。
写到这里。
停。
真的停了。
不是报告技巧。
是当时的推导，本来就只走到了这里。
陈拙看着那三行。
「第一次就写到这儿。」
下面有人愣了一下。
大概没想到。这样一条後来几乎改写整个证明方向的思路，第一次落到纸面上，只有三行。
陈拙指着第三行。
「断了。」
他很平静。
「再往下不知道怎麽接。」
没有强行接。
也没有假装那个晚上已经把整个证明看穿了。
只是三行。
一个新的问法。
然後卡住。
陈拙看着那三行，忽然笑了一下。
「不过这次跟以前不太一样。」他说。
「以前断的时候，我通常不知道前面是不是也错了。」
「这次不是。」
他在最上面那句话下面划了一道。
先算没有它时，哪一圈合不上。
「这句话我没划。」
「因为我觉得问题应该这麽问。」
这一点，对当时的陈拙来说已经足够重要。
答案还没有。
候选也没有。
连真正的闭圈都还没算出来。
…。。