建立基础数学体系的唯一优势是不用花费太过天数字的金钱，最大的投入应该是人力资源投入。
“我这手头缺兵少将的，水平也有限，目前捣鼓不出一套新的理论体系，还是先证明我的定理吧。定理证明多了，体系自然而然出来了。”
是这个道理，欧几里得一生证明了465个定理，欧氏几何的经典体系流传了两千多年。
沈继续开展“穆勒-沈定理”的证明工作，并在9月底与穆勒合了一版初稿。
“令人振奋的成果是，我们完全证明了论断（1）和（2），我在1982年时证明的更完美，毫无破绽。”穆勒显的兴奋，随即转入沉思状：“但问题是，论断（3）的证明结果令人沮丧，或许再过一个月我们才能完成最终证明。”
沈说到：“x*的每个ω*闭凸集是逼近紧的切雪夫集，对于这个论断（3），我觉得我们一开始的思路错了，它是独立的，不应该和论断（1）、（2）联系在一起。但这并不是坏事，或许，还是件值得庆幸的事情，因为我们发现的早。”