There are many cases where it's possible to prove that counterexamples must exist, without identifying a specific example. This kind of proof provides more insight into the problem than simply finding a counterexample.