>>14
基本群が非自明でも
閉曲線の表すサイクルが可縮(ゼロホモトープ)な場合は内と外2つに分離され
そうで無い場合は分離されないのかも?