海涅定理例