导数定义中是否已经包含了函数连续的性质