text: Un metodo di prova, applicabile quando esiste solo un numero finito di casi che potrebbero portare a controesempi, è noto come “forza bruta”: in questo approccio si considerano tutti i casi possibili e si dimostra che non danno controesempi.