如果以上命题都为真，则以下命题一定为真的是（）