當然，林曉能夠直接看出來，說明得出這個結論也並不難。
至於如何證明這個結論，對林曉來說也同樣沒什麽難度，隻不過想了想，他直接寫下：
【觀察4n＋3和Mp，我們易得Mp都是形如4n＋3這種形式的數。】
對於論文中有些不重要的步驟，大佬們一般都是直接用‘顯而易見’、‘易得’等話語就直接略過去了，而對於林曉來說，雖然他自認不是大佬，不過用上一用還是沒問題的。
“嗯，這裏算是搞定了，現在可以將4x＋3代入之前的關係式中了。”
林曉繼續接下來的步驟。
隻不過，雖然有了4x＋3，但是接下來的步驟中依然困難重重，想要真正完成，依然還有些困難。
而時間也就這樣慢慢過去，以林曉當前3％的大腦開發度，麵對這樣的難題依然得犯難，畢竟相對來說，討論梅森素數分布的難度，是要比他之前研究的斐波那契數列更加困難。
……
【對於正整數a，b，我們定義一個關於F2的梅森素數（多項式）為一個形式為1＋x^a（x＋1）^b的不可約多項式。在這種情況下：最大公約數gcd（a，b）=1並且（a或b是奇數）……
對於S∈F2[x]，表示為：—S由S用x＋1代替x得到的多項式：S（x）=S（x＋1）……】
“這樣就進入到了多項式的領域了。”
林曉的變換構造函數中，就需要進入多項式當中，這樣才能實現他對非線性多項式的統計。
但是，梅森數終究和斐波那契數列不同，我們可以將斐波那契數列列出無限個，但是梅森數，卻始終受到我們當前所找到的最大質數的數量限製。
盡管大家都知道質數無窮，但是分解一個大數的質因子是很麻煩的，這也是為什麽和素數有關的東西被廣泛運用於密碼學當中。
就在這時，林曉的門被敲響了，敲門的人是孫宇。