海涅定理6种形式分别是