如果上述陈述都是正确的，那么下列陈述中也必然正确的是（）