路清隆像是被闪电击中了一样，他敏锐的察觉到了其中的问题，然后呼吸急促了起来。
（如果他们当成错题，或者本身就是错题....）
（我推导出170≠220的矛盾...）
（但数学体系必须「无矛盾」的底层逻辑...）
（我相当于证明了它的边界条件？）
他想起那道本该就忘了的题，突然激动起来！
那道题又出现在了脑海中。
大脑线程开始疯狂的运用路清隆所学的一切知识，开始多线程推理。
（《几何原本》第一卷，欧几里得从五条公设出发，一条一条推出来，圆的定义丶圆周角的定义丶圆内接四边形的性质——每一步都建立在前一步的逻辑之上，没有跳跃，没有「显然可得」...）
路清隆浑身一震。
他忽然意识到，自己那次在考场上做的，本质上就是这个。
（从欧氏几何的公理出发，用圆周角定理和圆内角公式这两条已经被公理体系证明过的定理，推出一条弧长的两个互斥的数值。）丶
（……）