可莎拉盯着这三面墙看了几个月，终於看到了一条缝。
三面墙拚在一起，反过来恰好画出了能用的那把尺子的样子。
她照着造了出来，取名挠精化不变量。
信息藏进代数结构最底下的根基里，读数活在有限环上，专门去量经典尺子量不了的东西。
现在只差最後一步：证明那几种变换确实动不了它的读数。
可问题是这一步被拆成了十一万条恒等式，每一条都是非交换环里上千个符号的精确硬算，错一条，整把尺子就废了。
按照一个熟手一天啃两三条算，这活儿交给一个人，得干上两百年。
就算凑出二十个熟手一起上，也得闷头啃整整十年，而现成的计算机代数系统，没有一个支持这种取值方式的精确运算。
这两个月，彭罗斯带着莎拉满世界飞，前前後後拉来了十几位同行分头啃。
到今天也才啃下来几百条。
本章已完成！