也就是a2=a1+2这么个形式，进行转换。
转换完成，陈舟轻点笔尖，略一思忖，便写到：
【在对上式中各项进行第一次冰雹猜想运算时，首先应对其中的每一项都乘以3，然后再加上1，可以得到……】
陈舟手中的笔一刻不停，顺着思路，把每一项进行了运算。
再把运算之后的每一项进行简单的变化，把3·2看作是a，3a1+1看作是任意整数b。
到这，便可以根据一旁的数论引理，进行推导了。
【……序号为2^(n-4)+2^(n-6)+……+2+1的项乘以3再加上1后为……】
【因此，该式能被2整除n+1次。由此即可知特性1中的叙述正确。】