然而谁都知道，建立一个逻辑严谨的体系证明一个定理困难太多了，建体系是个浩大工程，需要巨大的、持续不断的人力物力财力投入。

    建立基础数学体系的唯一优势是不用花费太过天数字的金钱，最大的投入应该是人力资源投入。

    “我这手头缺兵少将的，水平也有限，目前捣鼓不出一套新的理论体系，还是先证明我的定理吧。定理证明多了，体系自然而然出来了。”

    是这个道理，欧几里得一生证明了465个定理，欧氏几何的经典体系流传了两千多年。

    沈继续开展“穆勒-沈定理”的证明工作，并在9月底与穆勒合了一版初稿。

    “令人振奋的成果是，我们完全证明了论断（1）和（2），我在1982年时证明的更完美，毫无破绽。”穆勒显的兴奋，随即转入沉思状：“但问题是，论断（3）的证明结果令人沮丧，或许再过一个月我们才能完成最终证明。”

    沈说到：“x*的每个w*闭凸集是bi近紧的切雪夫集，对于这个论断（3），我觉得我们一开始的思路错了，它是独立的，不应该和论断（1）、（2）联系在一起。但这并不是坏事，或许，还是件值得庆幸的事情，因为我们发现的早。”

    251章 丰富产品布局，精耕细分市场

    “我实在是找不到一个弱*闭凸集是近迫集，从而得到霍斯戴夫拓扑，我相信世界没有任何一位数学家能从这个途径证明x*的每个w*闭凸集是bi近紧的切雪夫集。 ”沈并不是太沮丧，反而兴致盎然：“一开始我并没有意识到这是条死路，因为我没有走到死胡同的尽头。”

    “那你可有好的解决方案？”穆勒问到。

    沈已有答案：“我的解决方案是，论断（3）单独成立新课题，我暂时将它命名为‘穆勒-沈近迫定理’，这个定理有待进一步验证，它可以看作‘穆勒-沈定理’的一个推论。”

    “那么新的‘穆勒-沈定理’包含（1）、（2）两条论断，这已足够，我们将在几天内完成修订工作，并公开发布‘穆勒-沈定理’的研究成果。”沈给出了解决方案。

    “实际……我们相当于推出一款‘减配版’的‘穆勒-沈定理’。”穆勒教授很快明白了沈的新方案。

    沈点点头：“穆勒教授这个喻很恰当，对，减配版。实际所谓的减配版是标准版，因为论断（3）可以看成一款新产品。”

    “其实是两款长度不一样但外造型大致一样的车身，搭载同一套动力总成系统，然后分别出售，好吧，大众经常这么干。”穆勒教授果然是德国人，一语的。

    “哈哈！”沈大笑，说到：“所以我买了雪佛兰。”

    穆勒和沈一合计，这么干，先推出低配版的“穆勒-沈定理”，满足市场的基本需求，抢先占领这个细分市场。

    高配版的“穆勒-沈定理”将在不久后推出，到时候给它取个新的名字，“穆勒-沈近迫定理”是个不错的选择，从而进一步丰富产品线，巩固“穆勒-沈”在这个细分市场的占有率及品牌效应。

    “穆勒-沈定理”的修订工作很快完成。

    “……证毕，我们得到如下定理：

    令x是巴拿赫空间，则下诉论断等价为：

    （1）如果x*∈s（x*）在s（x）达到它的范数，则x*是单位球b（x*）的w*可凹点；

    （2）x是强光滑空间。”

    最后检查了一遍论，穆勒教授亲自传论到arvix预录。

    论正式投递的任务jiāo给了沈。

    论名是《巴拿赫空间可凹点和强光滑空间的问题》，穆勒和沈均是第一作者。

    论的篇幅为24页，其包含了“穆勒-沈定理”的完全证明。

    当然了，“穆勒-沈定理”是穆勒和沈单方面宣称成立的，至于最终能否载入i的数学定理大全，需要i说了算。

    沈认为这篇论的质量非常高，属于四大期刊级别的论，于是他投去了《数学年刊》。

    与此同时，“穆勒-沈近迫定理”的证明工作也在同步开展，这项工作主要由沈完成，因为是沈提出来的。

    转眼又是一个星期三。

    今天早，法尔廷