关于隐函数的求导公式“连续偏导数”

在隐函数的三个存在定理中，都设定在某点的某一邻域内具有连续的偏导数，但并没有说明连续偏导数有什么用
请教一下

设定在某点的某一邻域内具有连续的偏导数，说明函数在该点可微；在证明隐函数存在定理时，要用到复合函数求导，而复合函数求导要满足可微的条件。

是充分条件还是必要条件呢

应该是充分条件。