Comment by scott_meyer

Proof by contradiction requires finding a single contradiction. Practical utility just requires that contradiction be infrequent enough.