海涅定理6种形式有哪些