Laxt 中定理,引理行间距的调整