若以上说法成立，则下述说法中一定成立的有（）