Todos os números naturais são interessantes

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

Prova - Suponhámos que existe um primeiro número natural que não seja interessante. Então o facto desse número ser o primeiro número que não é interessante torna o interessante. Então por indução todos os números são interessantes.

qed