페이퍼 쓰신 분들은 귀찮아서 대충 썼겠지만 난 모르겠는걸
위상/기하가 특히 그런 점이 많은 것 같기도 한데 정확하게 이해하려면 어떤 기술이 필요한지 모르겠음

수학 이야기) prime, closed, orientable 3-manifold M에 대해 임의의 two equivalent knot이 ambient isotopic할 필요충분 조건은 (orientation-preserving) mapping class group Mod(M)이 trivial인 것이다.