沈奇巡查考场，一个小时过去了，他又溜达回黑直长妹子身后。

这个妹子的发型跟欧叶很像，她低头做题，长发泄下遮住侧脸。

从后面看背影，这个妹子的外造型和欧叶还真有几分相似。

沈奇摇摇头，拥有黑直长发型的妹子很多，而欧叶只有一个，计算姬独一无二。

一个小时过去了，这位大一女生就完成了三道填空题，她正在做第一道证明题。

前三道填空题是孙二雄出的，后面两道填空题是沈奇出的，大一女生解不出答案。

大一女生蓦然回首，发现身后站一人，她大惊：“干哈呢你！”

“不干哈，请专心答卷。”沈奇轻轻敲了敲女生的桌面，淡定走开。

这妹子的造型像欧叶，但一张嘴，画风突变。

高代考试结束后，沈奇立即给欧叶发微信：“新春快乐。”

欧叶秒回：“还有一个月才过年呢。”

沈奇：“提前给你拜年，祝你身体健康，阖家幸福。”

欧叶发了一个捂嘴笑脸的表情：“直男变成暖男啦？”

“想你了。”沈奇也不知道为什么就打出了这三个字，像是一种下意识的行为。

两分钟过去了，欧叶并未回复。

沈奇靠在教室外的墙壁上，笑了，他确实开始怀念欧叶。

当她不在身边的时候，原来真的会有点不习惯。

又过了一分钟，欧叶终于回信：“我想回学校。”

“下学期开学，能回来吗？”沈奇问到。

欧叶：“嗯，一定！我会积极吃药，乐观治疗，早日回来！”

沈奇：“等你。”

发完微信，沈奇来到sos课题办公室，打开欧叶的那台电脑，他要再送欧叶一份礼物，这份礼物叫《关于丢番图方程沃什猜想的证明》。

美国数学家沃什曾提出过一个猜想：设a，b为正整数，则方程ax^4-by^2=1至多只有两组正整数解（x，y）。

哥德巴赫也好，费马也罢，玩数论的人都爱提猜想。

更可气的是，哥德巴赫和费马还是业余数学家。

沃什是职业数学家，他提出的丢番图方程猜想，证明难度要小于哥德巴赫猜想和费马的一系列猜想。

半年前，沈奇偶然翻阅一本英文数学期刊，发现了一篇有意思的论文，这篇论文的作者是一位德国女博士。

德国波恩大学的数学系女博士在她的博士论文中使用p-adic方法，通过非常复杂的技术，得到了如下形式的不定方程ax^2-by^4=c，c∈{1，2，4}

的解的个数之精确上界。

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

然后沈奇去跑步，产生了一个灵感。

结合德国女博士的成果及thue siegel方法，做出一个有效代数逼近，是否可以完全证明沃什猜想？