闭区间紧致性的证明