圏論じゃないといわれそうだがジョルダン閉曲線定理をホモロジーの概念を定式化して証明。