海涅定理证明