为什么数学上一些显而易见的事情数学家们也要编个定理出来？

比如介值定理，连续函数闭区间内函数值位于大小值之间，比如博尔扎诺定理，连续函数存在相反符号的值的区间肯定有根，还有其他。。。