李普希茨条件证明