莱布尼茨判别法是充分必要条件吗