可导和导数存在等价吗?