蜷缩在被窝里，呼吸匀称，一动不动。
“要把他叫醒吃个饭吗？”邓教授悄声问。
“不用，给他打的基本都是营养液，现在他首要任务是睡觉。”护士小声说，“可能会睡很久，过度疲劳有些人能睡两天多，不用管他。”
邓教授点点头，安静地吃早餐，继续看电视上的早间新闻。
隔壁床的被窝里，宋河眼皮颤动。
他压根没睡，一夜没睡。
谁说证明猜想必须用纸笔的？
闭着眼一样盲算！
他眼前是一处凭空想象出的大教室，教室四面都是几米高的黑板，一根粉笔在黑板上飞速书写，速度快出残影。
浩浩荡荡的粉笔字铺在黑板上，还在持续变多：
“ω(u)不依赖于u，因而可以把形式幂级数中的形式级数取为T等于1……”
“根据（24）式，对象为紧的正合拉格朗日子流形……”
“H实际上是m的k次方的上同调，因此上同调为零……”
“代数簇的结构唯一，所以可以认为……”
不得不说，靠脑子凭空想象，还是要占据一些算力的，没有纸笔书写的感觉舒服。
就在这种别扭的姿势中，宋河完成了解证过程最后一个漏洞的补全！
一夜没动的被窝突然掀开，宋河诈尸般猛地坐起来，把旁边吃饭的邓教授吓了一跳，饭盒差点泼在被子上。
“做噩梦了？”邓教授惊魂未定地看他。