Un método de prueba, aplicable cuando solo hay un número finito de casos que podrían dar lugar a contraejemplos, se conoce como “fuerza bruta”: en este enfoque, se consideran todos los casos posibles y se demuestra que no dan lugar a contraejemplos.