海涅定理和归结原则