“剩下最重的六个核心引理，形式化符号系统比较重，在第七版正文里有完整证明。”
丁剑没有说话。
韩砚山也没有说话。
江临继续道：“这个东西能解决一个问题。”
“哪些引理依赖哪些引理，哪些损失项在哪一层支付，哪些项不能重复入账，这些东西不会随着阅读疲劳被看错。”
会议室里短暂安静下来。
这不是完整机检证明。
但已经足够说明，江临不是只写了一份漂亮手稿。
他把证明当成一个工程系统拆过。
韩砚山重新看向白板上那条被移入条件互信息账本的残余项。
同一笔损失不能支付两次。
这句话，现在不只是白板上的一句解释。
它已经被钉进了依赖图里。
韩砚山深深地吐出一口气，整个人仿佛被抽干了力气，重重坐倒在椅子上。
“三十年了。”
韩砚山喃喃自语。
疲惫仍然挂在他的眼角，但在那份疲惫下面，已经浮现出难以压抑的振奋。
“加性组合学的底层语言，从今天起，要改写了。”
丁剑双手抱胸，目光幽深地又看了一遍那个小到不能再小的三维八点退化模型。
八个孤零零的点。
四组独立同分布的副本。
一个反直觉的宏观固定条件。
一条大道至简的熵对合引理。
然后，那项困扰了无数天才，最容易失控的残余项，就这么被从下一层覆盖递推的死循环里摘了出来，重新归入了熵账本。
这东西从外表看上去，简直简洁得过分。
可丁剑知道，数学中真正有效的构造，常常就是这种形态。
它不靠堆砌符号增加复杂度，也不依赖额外假设强行绕开边界情形。
它真正的力量在于，在所有人默认必须继续支付覆盖代价的位置上，重新定义了损失的归账方式。