特殊到一般的关系.
连续函数介值定理是引理,最特殊的.
罗尔定理f(b)=f(a)所以有a