ハイネの定理