证明函数连续的充要条件