隔壁床的被窝里，宋河眼皮颤动。
他压根没睡，一夜没睡。
谁说证明猜想必须用纸笔的？
闭着眼一样盲算！
他眼前是一处凭空想象出的大教室，教室四面都是几米高的黑板，一根粉笔在黑板上飞速书写，速度快出残影。
浩浩荡荡的粉笔字铺在黑板上，还在持续变多：
“w(u)不依赖于u，因而可以把形式幂级数中的形式级数取为t等于1……”
“根据（24）式，对象为紧的正合拉格朗日子流形……”
“h实际上是的k次方的上同调，因此上同调为零……”
“代数簇的结构唯一，所以可以认为……”
不得不说，靠脑子凭空想象，还是要占据一些算力的，没有纸笔书写的感觉舒服。
就在这种别扭的姿势中，宋河完成了解证过程最后一个漏洞的补全！
一夜没动的被窝突然掀开，宋河诈尸般猛地坐起来，把旁边吃饭的邓教授吓了一跳，饭盒差点泼在被子上。
“做噩梦了？”邓教授惊魂未定地看他。