海涅定理的内容