海涅定理6种形式是什么