证明的结论在脑子里重新排列组合了一下。

他忽然想到了一种可能——用VanKampen定理来分解空间，然后分别计算基本群，最后合并。

这个思路能走通。

苏风拿起笔，在草稿纸上飞快地写了起来。

先分解空间，证明两个子空间满足定理条件，分别计算各自的基本群，然后用合并公式得出最终结果。

写完之后他检查了每一个步骤的推理是否严密，确认没有问题之后，把最终答案输入了系统。

他按下了回车键。

屏幕上的圆圈转了大概一秒。

绿勾。

全部通过。