책 보다 보니까 


모든 compact surface는 토러스 T_g (g는 토러스의 genus)와 미분동형이다


라는 정리가 증명 없이 뜬금없이 등장하는데


내용상으로 봐서 엄청 중요한 정리인 거 같은데 따로 이름같은 거 있음? 그리고 구체적인 증명은 어디서 찾아볼 수 있냐