……他用笔在草稿纸上画了几个示意图，试着用不同的思路去推导。

前两种思路都卡在了半路，时间一分一秒地过去，屏幕右下角的计时器跳得飞快。

苏风额头上冒出了汗珠，这不是紧张，而是大脑高运转的消耗。

他闭上眼睛，让自己冷静下来，然后把所有已知条件和需要证明的结论在脑子里重新排列组合了一下。

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

这个思路能走通。

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

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

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

他按下了回车键。

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

绿勾。

全部通过。