证 [a, b] 到 [a, b] 的连续函数有不动点。