莱布尼兹定理证明