如果以上陈述都为真，则下列陈述中必然为真的是（）