假如以上陈述和动物学家的声明都是真的，则下述一定为真的是（）