利普西斯条件的如何证明