Teorema - Todos os números inteiros são interessantes.

Teorema -
Todo número inteiro é interessante.
Prova -
Suponhas que existe um conjunto I de números inteiros não interessantes.
Agora, enumere estes números.
Pegue o menor deles. Mas por ser o menor número inteiro não interessante, ele é justamente interessante!
Portanto, retire esse número da lista.
Repita este processo por indução.
Portanto, todo número inteiro é interessante, como queríamos demonstrar.
QED.