Heine-Cantorの定理