海涅定理推论的证明