海涅定理
1