他忽然笑了一下。
不是昨天那种被最後一条退路击中的笑。
今天更轻。
像是走了很久，终於听见门轴在身後合上。
他把那几页翻回第一页。
又从第一页重新看了一遍。
还是在那里。
陈拙站起来，在办公室里走了两步。
走到门口，又回到桌前。
他把台灯打开。
灯光落下来，把桌上的纸照得发白。
陈拙把整份稿夹往自己面前拉近。
从第一页开始，重新翻。
这一次，他没有每页编号。
只是翻。
离散网格。
过。
离散连续桥。
过。
常数C。
过。
正规函数。
停一下。
过。
代数循环。
没有退。
陈拙翻到最後一页。
最後一页下面原本留着一块空白。
那块空白以前很刺眼。
不是因为没有字。
是因为它像在提醒他，前面所有东西都还没真正落地。
现在那块空白还在。
但它不再刺眼了。
陈拙拿起笔。
他没有写「完成」。
也没有写「证明结束」。
那还不是。
离散网格的选择还要再压一次。
前後几处还要收紧。
但整条路，第一次从第一页走到了这里。
中间没有断。
陈拙在空白处写下五个字。
第一遍走通。
写完以後，他没有马上放笔。
他盯着那五个字看了很久。
办公室里安静得很。
外面的天已经暗了，走廊里的灯亮着，门缝下面压出一条窄窄的光。
陈拙把稿夹合上。
又打开。
看了一眼最後那五个字。
第一遍走通。
他把稿夹重新合上，用夹子夹住。
夹子扣下去的时候，发出一声清脆的轻响。
陈拙靠在椅背上，闭了一下眼睛。
他没有睡。
只是让那五个字在脑子里停了一
…。。