利普希茨条件证明