。
沈靠在教室外的墙壁，笑了，他确实开始怀念欧叶。
当她不在身边的时候，原来真的会有点不习惯。
又过了一分钟，欧叶终于回信：“我想回学校。”
“下学期开学，能回来吗？”沈问到。
欧叶：“嗯，一定！我会积极吃药，乐观治疗，早日回来！”
沈：“等你。”
发完微信，沈来到sos课题办公室，打开欧叶的那台电脑，他要再送欧叶一份礼物，这份礼物叫《关于丢番图方程沃什猜想的证明》。
美国数学家沃什曾提出过一个猜想：设a，b为正整数，则方程ax4-by2=1至多只有两组正整数解（x，y）。
哥德巴赫也好，费马也罢，玩数论的人都爱提猜想。
更可气的是，哥德巴赫和费马还是业余数学家。
沃什是职业数学家，他提出的丢番图方程猜想，证明难度要小于哥德巴赫猜想和费马的一系列猜想。
半年前，沈偶然翻阅一本英数学期刊，发现了一篇有意思的论，这篇论的作者是一位德国女博士。
德国波恩大学的数学系女博士在她的博士论使用p-adic方法，通过非常复杂的技术，得到了如下形式