的联系是另外有一个希腊人，就是我导师和我的师弟，建了一些联系，但是进一步的推动其实是在离散不动点上。那么我们后来主要的工作就是通过这两个联系推动了这件事情的最终证明。我们后面也借助不动点在比如说