和教官告别结束，参训的师生们集体乘车返回了学校。
在车上，当领队老师问陈舟他们，这次军训印象最深的是什么时。
陈舟不自觉的就想到了数字金字塔这玩意。
这也是他最大的收获。
现在军训结束了，他终于可以把满脑子的想法，全倒出来了。
一下车，陈舟就直奔宿舍，他有些迫不及待。
以至于，领队老师都还在清点人数，准备再说些什么呢，陈舟的人影已经消失了。
当然，陈舟也不是扭头就走，他和李礼说了，如果清点人数，就帮他吱一声。
路上，陈舟又给杨依依发了个消息，告诉她，下午在图书馆等她。
不过，陈舟自己却是回到宿舍，收拾好东西，便直接去了图书馆。
他在追逐地球转动的脚步。
“先把数字金字塔列出来。”
图书馆，老位置。
陈舟拿出草稿纸，开始画三角形，然后进行分级，把每一级的数字列出，完成了数字金字塔模型的构建。
“接下来是基于冰雹猜想的运算所进行的。”
这样想着的陈舟，手中的笔，继续在草稿纸上书写着。
【把奇数a经过+1个奇数记为a(2^(b1+b2+···+b-1)2^(b1+b2+···+b-2)2^(b1+b2+···+b)+12^b次冰雹猜想运算后得到的m+1个奇数列出来：a，a(1)，a(2)，……，a(m)】
写到这，陈舟又回头看了眼数字金字塔的模型。
两者之间，可以串联起来了。
在数字金字塔中，陈舟把a经过+1个奇数，所在的位置标了出来。
再用单向箭头从a(n)指向a(n+1)开始，依次把这些点连接起来。
做完这些，陈舟看着数字金字塔，用笔在这条曲线旁写到：
【奇数啊经过冰雹猜想运算的路线lm】
“嗯，关于路线的问题，一定要明确……”
陈舟习惯性的用笔点着草稿纸，思考着路线问题。
在脑海中完成了路线的验证后，陈舟开始写到：
【如果ab在m次的冰雹猜想运算中，依次能被2整除b1，b2，b3，……，b次的冰雹猜想运算中，依次能被2整除c1，c2，c3，……，cm次……】
【……当条件
=cr（r=1，2，3，……，的“运算路线相同”。当条件
=cr不一定成立，但r=1→r成立时，可以称ab与ac的“运算路线类似”。】
至此，陈舟完成了前期的准备工作。
看着自己写满了一整张草稿纸的内容，他的嘴角不禁露出了一丝微笑：“这个思路，有搞头……”
放下笔，陈舟伸了个懒腰，有点累啊。
刚参加完军训，就来图书馆解决冰雹猜想，除了他，也是没谁了。
“小哥哥，刚才笑什么呢？”
听到这个熟悉的声音，陈舟微微偏头，就看到杨依依背着背包，拿着盒饭，站在旁边。
嗯，依依也晒黑了，难道那个防晒霜是假的？
陈舟想到军训前，他还特意百搜了一下，给杨依依准备了军训攻略。
可看着杨依依的脸，陈舟顿时就觉得这攻略不靠谱，亏得还是数百人点赞的呢。
“呐，中午不吃饭就跑来，你是想修仙吗？”杨依依把手中的盒饭递给陈舟，语气中带着一丝责怪之意。
陈舟接过盒饭，低声保证道：“下次不会了。”
顿了顿，他又补充了一句：“谁让我有这么贴心的女朋友呢。”
说完，也不管杨依依嗔怪的眼神，拿着盒饭就起身走到了远处。
毕竟，图书馆里的自习区，还是不好直接开吃的。
他怕被打。
可陈舟不知道的是，随着他的离开，那声原本已经蓄势待发的咳嗽声，又被收了回去。
杨依依给陈舟买的菜，都是他喜欢吃的。
陈舟满足的消灭了这顿满满幸福的盒饭。
把垃圾收拾了一下，陈舟才缓步走回自习区。
看着杨依依的背影，陈舟想了想，又出去了。
等他再回来时，手里拿着一个冰淇淋碗。
轻轻拍了拍杨依依的背，在杨依依转头时，陈舟把冰淇淋碗递了上去：“呐。”
杨依依开心的接了过来，一边吃着冰淇淋，一边看着手中的书籍。
陈舟看着杨依依的模样，宠溺的揉了揉她的脑袋。
杨依依嘟着嘴，扭头看了看陈舟：“好好吃哦~”
陈舟轻声笑了笑。
把先前写满的草稿纸放在一旁，拿出一张新的草稿纸，陈舟开始继续对冰雹猜想的研究。
从数字金字塔上，还可以获得第n级奇数在进行冰雹猜想运算时的一些特性。
【特性1：若对数字金字塔中第n级的2^(n-2)个奇数均进行一次冰雹猜想运算，将有2^(n-3)个奇数在进行冰雹猜想运算时，仅能被2整除1次；以此类推，有1个奇数在进行冰雹猜想运算时，能被2整除n+d(n)次，这里的d(n)等于1(n奇数时)或-1(n为偶数时)】
这是陈舟在军训时，便思考出来的内容。
但是特性1需要证明。
简单的思索了一下，陈舟便着手开始证明。
证明的方法并不难，需要用到一部分数论的内容。
陈舟先把需要用到的数论内容写在了一旁，随后把数字金字塔的第n级中的2^(n-2)个奇数依次列了出来。
然后分别令其等于a1，a2，a3，……，a2^(n-2)。
这是一个等差数列，公差为2。
利用这个特性，也就可以把数列再次