TEOREMA: "Todos los números enteros son interesantes"
DEMOSTRACIÓN: Supongamos que no es así, por lo tanto existe como mínimo un número entero no interesante. Entonces, uno se pregunta “¿cuál será ese número?” por lo que este número es, obviamente interesante, lo cual contradice la hipótesis de partida de que no es interesante. Por contradicción, la suposición de que existen números enteros no interesantes es falsa.