海涅定理