海涅博雷儿定理