算要整理一下了。
    “唔，针对形如这样的k阶齐次线性递推式……”
    【（an+k）+（c1(n)(an+k-1)+c2(n)(an+k-2)+…+ck-1(n)(an+1)+ck(n)an=f(n)
    (n∈n，k∈n，ck(n)≠0)】
    “我们可以进行如下变动，以根据关系式y，来实现对非线性数列的多项式分布统计。”
    林晓继续着自己的接下来的运算。
    实现对非线性多项式函数的统计，就是他得以证明斐波那契数列存在无穷多素数的关键所在，因为素数在其中的分布，显然是非线性的。
    当然，在他之前的那篇论文中，并没有整理出这样系统性的通用方法，他只是简单引入了一点这样的思想，可以将其视为一种特殊项。
    而现在他的工作，就是将这个‘特殊’归纳为通用。
    就这样，一步一步地完成下去。
    大概几个小时过去，这个方法的初步整理总算完成，时间比较长，不过，回顾过去的成果，也让林晓收获颇多。
    看着自己最终构造出来的这个全新的通用公式，林晓摸索了一下下巴。
    “接下来是不是要引用几个例子？”
    “先把证明斐波那契数列的例子弄上去吧。”
    “之后……要不试试梅森素数？”
    林晓忽然想起了知名的梅森数。
    以及梅森素数。