如果以上陈述都是真的，则以下陈述中一定为真的是（）