沈奇巡查考场，一个小时过去了，他又溜达回黑直长妹子身后。
这个妹子的发型跟欧叶很像，她低头做题，长发泄下遮住侧脸。
从后面看背影，这个妹子的外造型和欧叶还真有几分相似。
沈奇摇摇头，拥有黑直长发型的妹子很多，而欧叶只有一个，计算姬独一无二。
一个小时过去了，这位大一女生就完成了三道填空题，她正在做第一道证明题。
前三道填空题是孙二雄出的，后面两道填空题是沈奇出的，大一女生解不出答案。
大一女生蓦然回首，发现身后站一人，她大惊：“干哈呢你！”
“不干哈，请专心答卷。”沈奇轻轻敲了敲女生的桌面，淡定走开。
这妹子的造型像欧叶，但一张嘴，画风突变。
高代考试结束后，沈奇立即给欧叶发微信：“新春快乐。”
欧叶秒回：“还有一个月才过年呢。”
沈奇：“提前给你拜年，祝你身体健康，阖家幸福。”
欧叶发了一个捂嘴笑脸的表情：“直男变成暖男啦？”
“想你了。”沈奇也不知道为什么就打出了这三个字，像是一种下意识的行为。
两分钟过去了，欧叶并未回复。
沈奇靠在教室外的墙壁上，笑了，他确实开始怀念欧叶。
当她不在身边的时候，原来真的会有点不习惯。
又过了一分钟，欧叶终于回信：“我想回学校。”
“下学期开学，能回来吗？”沈奇问到。
欧叶：“嗯，一定！我会积极吃药，乐观治疗，早日回来！”
沈奇：“等你。”
发完微信，沈奇来到SOS课题办公室，打开欧叶的那台电脑，他要再送欧叶一份礼物，这份礼物叫《关于丢番图方程沃什猜想的证明》。
美国数学家沃什曾提出过一个猜想：设a，b为正整数，则方程aX^4-bY^2=1至多只有两组正整数解（X，Y）。
哥德巴赫也好，费马也罢，玩数论的人都爱提猜想。
更可气的是，哥德巴赫和费马还是业余数学家。
沃什是职业数学家，他提出的丢番图方程猜想，证明难度要小于哥德巴赫猜想和费马的一系列猜想。
半年前，沈奇偶然翻阅一本英文数学期刊，发现了一篇有意思的论文，这篇论文的作者是一位德国女博士。
德国波恩大学的数学系女博士在她的博士论文中使用p-adic方法，通过非常复杂的技术，得到了如下形式的不定方程aX^2-bY^4=c，c∈{1，2，±4}
的解的个数之精确上界。
德国女博士的研究成果很接近沃什猜想的证明了。
然后沈奇去跑步，产生了一个灵感。
结合德国女博士的成果及Thue-Siegel方法，做出一个有效代数逼近，是否可以完全证明沃什猜想？