闭区间连续函数整体性质的证明