海涅定理的推论