Then (i) implies that there exists an outcome where Q is at most the threshold, and this and (ii) imply that there is a successful outcome.
Тогда из (i) следует, что существует решение, в котором Q не превышает порога, а из этого и (ii) следует, что существует успешное решение.