莱布尼茨定理是充分必要条件吗