안녕하세요. 최근 컴팩트 다양체에 대해 공부하면서 의문이 생겼는데요. 주어진 위상다양체에 대해서 미분구조가 존재하는 것은 차원이 4 이하일 때만 알려져 있다고 배웠습니다. 그런데 미분구조가 존재할 때, 그 미분구조가 유일한지가 궁금한데 이에 대해 설명해 주실 수 있으신가요? 특히 3차원 구면의 경우에 대해 궁금합니다.