言之，他在《数学年刊》上投稿的那篇论文，其中关于推论1进行讨论的长度达7页半的篇幅，事实上正是对光滑复完全交的沙利文猜想的一种等价形式进行了证明。

这一猜想是关于光滑流行分类的问题，从提出到现在已经有超过半个世纪的历史。

而光滑流形的分类问题，又是微分拓扑学中的核心问题之一！

这也就意味着，他在无意之中解决的这个问题，事实上已经困扰了微分拓扑学界足足大半个世纪那么久…