증명 과정을 조금 불완전하게 이해한거같기도 한데
위상수학에서 원으로 간주하는 도형은 다 비슷하게 증명 가능한거 아닌가?