海涅定理六种形式简单写