海涅borel定理