李普希兹条件是一阶微分方程初值问题解存在唯一的充要条件