如果想证明三个knots不可分，可以先看其中两个knots，考察R^3去掉这两个knots后的基本群（这两个可分的话基本群是Z和Z的自由积；不可分则同胚于甜甜圈，是Z^2），然后我们只需要看剩下的那个kont在基本群里的等价类是否平凡就可以了。
证明Borromean rings is not splittable昨天晚上想了一晚上也不知道怎么证明，今天在Allen Hatcher的Algebraic Topology里看到这个思路真的茅塞顿开恍然大悟。
代数拓扑太好玩了！