But by hypothesis, C was already the smallest counterexample; therefore, the supposition that there were any counterexamples to begin with must have been false.
但是在归纳假设中，C已经是最小的反例了；因此，开始的或许有些反例的猜想被证明了是错误的。