素数的故事(11)

鲁班
手拿望远镜对着数学定理感概道：“这就是照妖镜呀！”“看银灵子还怎么抵赖！”
12 外景。素树森林里一条河道的木筏上 - 日
墨子还发现云梯上目前所有的偶宿都是在编的可表偶宿，都是可用两棵素树打造出来的。且两棵素树所对应的偶宿，不仅可用两颗相同的素树打造出来，还能用两棵不同的素树打造出来，前者就不用证明了。为何可表偶宿中自由对齐截断的建材会蕴含所有素树呢？这个定理就叫“素树森林用光法则”，也就是说可表偶宿剥离出来的栋梁原来蕴含所有素树因子。
墨子乘坐素树木筏穿过巫峡，一览素树森林风光以及河道两旁的偶宿，发现几乎所有的偶宿都有两棵素树的编号。
鲁班
“我明白素女的意思了，因为龙头例外偶宿的性质定义决定了必然会遭到可表偶宿的无情挤压，因为互异必有相邻互素，充分表示了龙头例外偶宿的建材部件要与整个素树森林完全区别开来。这下好了，龙头例外偶宿的核心部件完全断供。说明龙头例外偶宿是子虚乌有的。它的后继例外偶宿也就自然不存在。”
可表偶数向龙头例外偶数喊话：“你承认跟我们是一伙的，我就不断供！”
龙头例外偶数回话：“啊呸，休想！。是我们先断供了你们，因为你们墨守成规。”
13内景。织布作坊里 - 日
于是墨子启动机关术通过多米诺骨牌式地相邻推动，重点证明了该法则的合理性。两颗相同素树能造出的偶宿是可以用两棵不同的素树打造出来的，理由是，假如有两颗相同的另类素树是不能用两棵互异素树打造出来的，那么另类两颗素数2x与在编可表的两颗素树2y所对应的偶宿间隔2z，约掉2便有彼此互素关系。这样的z将没有素树可构造，因为x和y已囊括所有素树了。
墨子任意用一条对折为等长格子数的格子布条，总能裁剪出跟两棵素树等长格子数的布条。与孙子的推算一致了。更惊奇的是出现了能满足直觉理解的算法了。编号是2倍素树的邻居，如果是可表偶宿，邻居之间的建材是不一样的，却可以跟远邻的建材一样，但如果是例外偶宿，不仅邻居之间的建材不一样，且跟远邻的建材也不一样，这样例外偶宿就找不到可用的建材了。因为龙头例外偶宿同所有的可表偶宿会因互异而互素，总之都有不共素因子，如此就同所有素因子不共了，由于拿不出这样的不共素因子出来，故例外偶宿定是乌有之乡。
14 外景。一座石拱桥上 - 日
具体是这样：一个素数的2倍是可表偶宿2y（可用两互异素数之和表达），一个素数的2倍是例外偶数2x（不可用两互异素数之和表达），它们的差是，2x- 2y=2z，约掉2，便有x-y=z，x、y是素树互异，故x、y也就是互素的，于是z也就同x、y都分别互素，而x、y之并集囊括了所有素数，更重要的是，z的素因子每次总是小于y，故z无素数因子可构造。2x就不存在。这个模型充分说明了，可表偶宿蕴含所有素数因子。z在喊：“兄弟，你们把无穷无漏都霸占了，还有我位置吗？”