Soit c'est démontré, soit c'est pas démontré.