『沒事啦，等開學了，一起去吃頓飯嘛。』

『好』

『嗯，那我還有點事，就先說到這吧。』

『好的，哦對了，祝你能在io上拿到金牌，林神』

看到這，林曉笑了笑，這個當初看起來一點都不會開玩笑，也不怎么會說話的人，現在也會祝福人了，也會喊他‘林神’這種帶點調侃意味的稱呼了。

而后他回復了一個『謝謝』，隨后便不再關注扣扣。

他現在還有件重要的事情，那就是弄自己的報告論文。

因為答應了國際數學聯盟的邀請，所以他得在7月15日之前將自己的報告整理好提交過去。

至于他的報告，就是將自己那篇論文里面的函數構造變換的思維方式給整理出來，然后再更深入一點。

其實他當初在寫這篇論文的時候，就已經有這方面的靈感了，直到后來有了時間，他就初步整理了一下，只是一直沒有系統性的弄過。

現在要上國際大會上作報告，他總算要整理一下了。

“唔，針對形如這樣的k階齊次線性遞推式……”

（an+k）+（+k1++k2+…++1+fn

n∈n，k∈n，≠0

“我們可以進行如下變動，以根據關系式y，來實現對非線性數列的多項式分布統計。”

林曉繼續著自己的接下來的運算。

實現對非線性多項式函數的統計，就是他得以證明斐波那契數列存在無窮多素數的關鍵所在，因為素數在其中的分布，顯然是非線性的。

當然，在他之前的那篇論文中，并沒有整理出這樣系統性的通用方法，他只是簡單引入了一點這樣的思想，可以將其視為一種特殊項。

而現在他的工作，就是將這個‘特殊’歸納為通用。

就這樣，一步一步地完成下去。

大概幾個小時過去，這個方法的初步整理總算完成，時間比較長，不過，回顧過去的成果，也讓林曉收獲頗多。

看著自己最終構造出來的這個全新的通用公式，林曉摸索了一下下巴。

“接下來是不是要引用幾個例子？”

“先把證明斐波那契數列的例子弄上去吧。”

“之后……要不試試梅森素數？”

林曉忽然想起了知名的梅森數。

以及梅森素數。