准备上，去靠的。

也因此，陈舟需要先证明“数字金字塔中第n级的所有奇数，都是可通过有限次的冰雹猜想运算后，成为一个比它自身小的奇数n为任意正整数，n56”，这一结论。

把结论进行公式化，是证明的必经过程。

设奇数a56经过的冰雹猜想运算后，其形式为ab1b2b3……b32b1b2b3……b2b2b3……b…32bb2bbr />

当上式中首项系数3b1b2b3……b分母的幂指数第一次出现b1b2b3……b……

……因此，可以确定，奇数a是能够通过若干次冰雹猜想运算，而成为一个小于它自身的奇数，简称a，符合条件“aa。

公式化完成后，便是对结论的证明了。

这一步倒是没那么费脑细胞。

有了前期的铺垫，陈舟在求证“第n级中符合条件aa数的计算方法”时，不管是思路上，还是计算上，都轻松了许多。

尤其是陈舟对特性1和特性2的运用，可以说是撑起了整个求证的过程。

再结合数字金字塔的内容，陈舟又整理出来一张关于“第n级中奇数连续进行冰雹猜想运算时，每次得到的符合条件aa奇数个数”的表格。

详细罗列了第一次运算，第二次运算，直到第运算的首项系数经运算后的奇数个数。

在第冰雹猜想运算一栏，其中的规律是利用运算路线类似而得到的。

把这部分内容的证明完成，外面的天色已经暗了下来。

等到陈舟再次放下笔，准备伸懒腰时，他才发现不知不觉已经晚上七点了。

看了一眼身旁的杨依依，正埋头看着教材。

杨依依心有所感，扭头看向陈舟。

她冲陈舟微微一笑，轻声说道：“走吧，吃完饭，再回来？”

陈舟点点头：“是不是等了我很久？怎么不喊我？”

杨依依笑着说道：“看你那么专注的做事，我怎么忍心打断你呢？”