沈奇巡查考場，一個小時過去了，他又溜達回黑直長妹子身後。

這個妹子的型跟歐葉很像，她低頭做題，長泄下遮住側臉。

從後面看背影，這個妹子的外造型和歐葉還真有幾分相似。

沈奇搖搖頭，擁有黑直長型的妹子很多，而歐葉只有一個，計算姬獨一無二。

一個小時過去了，這位大一女生就完成了三道填空題，她正在做第一道證明題。

前三道填空題是孫二雄出的，後面兩道填空題是沈奇出的，大一女生解不出答案。

大一女生驀然回，現身後站一人，她大驚：「干哈呢你！」

「不干哈，請專心答卷。」沈奇輕輕敲了敲女生的桌面，淡定走開。

這妹子的造型像歐葉，但一張嘴，畫風突變。

高代考試結束後，沈奇立即給歐葉>歐葉秒回：「還有一個月才過年呢。」

沈奇：「提前給你拜年，祝你身體健康，闔家幸福。」

歐葉了一個捂嘴笑臉的表情：「直男變成暖男啦？」

「想你了。」沈奇也不知道為什么就打出了這三個字，像是一種下意識的行為。

兩分鍾過去了，歐葉並未回復。

沈奇靠在教室外的牆壁上，笑了，他確實開始懷念歐葉。

當她不在身邊的時候，原來真的會有點不習慣。

又過了一分鍾，歐葉終於回信：「我想回學校。」

「下學期開學，能回來嗎？」沈奇問到。

歐葉：「嗯，一定！我會積極吃葯，樂觀治療，早日回來！」

沈奇：「等你。」

完課題辦公室，打開歐葉的那台電腦，他要再送歐葉一份禮物，這份禮物叫《關於丟番圖方程沃什猜想的證明》。

美國數學家沃什曾提出過一個猜想：設a，b為正整數，則方程ax^4-by^2=1至多只有兩組正整數解（x，y）。

哥德巴赫也好，費馬也罷，玩數論的人都愛提猜想。

更可氣的是，哥德巴赫和費馬還是業余數學家。

沃什是職業數學家，他提出的丟番圖方程猜想，證明難度要小於哥德巴赫猜想和費馬的一系列猜想。

半年前，沈奇偶然翻閱一本英文數學期刊，現了一篇有意思的論文，這篇論文的作者是一位德國女博士。

德國波恩大學的數學系女博士在她的博士論文中使用p-adi方法，通過非常復雜的技術，得到了如下形式的不定方程ax^2-by^4=，∈{1，2，±4}

的解的個數之精確上界。

德國女博士的研究成果很接近沃什猜想的證明了。

然後沈奇去跑步，產生了一個靈感。

結合德國女博士的成果及thue-siege1方法，做出一個有效代數逼近，是否可以完全證明沃什猜想？

沈奇將這個數學靈感告訴了歐葉，雖然他懂數論，但他沒那么多精力。