若要使上述论证成立，还需补充以下假设（）