海涅定理的六种形式