以前,提出这样的证明、运行模拟等等,我需要花大约一个月的时间。现在,我只用了一个下午就完成了。 感兴趣的读者可以在 https://t.co/IfotVApR3X 的第四章第四节中找到完整的证明和更多细节。 感恩节快乐!