为什么这个命题是正确的?