海涅定理推论是什么