我們還必須假設,除非得到相反的證明,他們