闭区间上连续函数的性质(77)