ジョルダンの閉曲線定理の証明

>>13
より一般には基本群が非自明だと閉曲線定理は成り立たないかもしれないし、そうではないかもしれない
とか、考えながら証明を読むと退屈しのぎにはなるかもな。